Search Sciweavers | Sciweavers

2303 search results - page 20 / 461

» The Cryptographic Abstract Machine

157

click to vote

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

16 years 28 days ago

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

click to vote

ICLP
2007
Springer

113views Automated Reasoning» more ICLP 2007»

A Register-Free Abstract Prolog Machine with Jumbo Instructions

16 years 28 days ago

Download www.sci.brooklyn.cuny.edu

Neng-Fa Zhou

claim paper

Read More »

148

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

16 years 10 days ago

Download research.microsoft.com

Nick Benton

claim paper

Read More »

141

Voted

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

16 years 9 days ago

Download rodin.cs.ncl.ac.uk

Michael J. Butler, Michael Leuschel, Colin F. Snoo...

claim paper

Read More »

152

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers