Search Sciweavers | Sciweavers

2303 search results - page 20 / 461

» The Cryptographic Abstract Machine

105

click to vote

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

15 years 9 months 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

15 years 9 months ago

Download www.sci.brooklyn.cuny.edu

Neng-Fa Zhou

claim paper

Read More »

102

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

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

15 years 8 months ago

Download research.microsoft.com

Nick Benton

claim paper

Read More »

click to vote

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

15 years 8 months ago

Download rodin.cs.ncl.ac.uk

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

claim paper

Read More »

106

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers