Search Sciweavers | Sciweavers

1914 search results - page 19 / 383

» Abstract lambda-Calculus Machines

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

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

14 years 1 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

14 years 1 months ago

Download rodin.cs.ncl.ac.uk

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

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 1 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

click to vote

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

14 years 1 months ago

Download hal.archives-ouvertes.fr

Nathalie Chabrier-Rivier, François Fages, S...

claim paper

Read More »

click to vote

ICESS
2004
Springer

114views Software Engineering» more ICESS 2004»

Abstraction and the C++ Machine Model

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers