Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

99

Voted

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

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

15 years 8 months ago

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

Download research.microsoft.com

Nick Benton

Real-time Traffic

APLAS 2005 |

claim paper

Related Content

» A Graph Abstract Machine Describing Event Structure Composition

» Coalgebraic Logic and Synthesis of Mealy Machines

» Decidable Theories of the Ordering of Natural Numbers with Unary Predicates

» The Use of Functional and Logic Languages in Machine Learning

» Hoare type theory polymorphism and separation

» Compositional noisylogical learning

» Towards an Agent Based Approach for Verification of OWLS Process Models

» Interactive Discovery and Composition of Complex Web Services

» Dynamic logic for belief revision

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	APLAS
Authors	Nick Benton

Comments (0)