Sciweavers

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

8

FGCS
2000

favoriteEmaildiscussreport

105views more FGCS 2000»

Abstract machines for programming language implementation

13 years 4 months ago

Abstract machines for programming language implementation

Download www.inf.ed.ac.uk

machines for programming language implementation Stephan Diehla, , Pieter Hartelb , Peter Sestoftc a FB-14 Informatik, Universit

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

Real-time Traffic

FGCS 2000 | Language Implementation Stephan | Language Implementations | Machines |

claim paper

Related Content

» Abstracting abstract machines

» The York Abstract Machine

» Pict Correctness Revisited

» Making Abstract Machines Less Abstract

» Abstract lambdaCalculus Machines

» Formalizing Implementation Strategies for FirstClass Continuations

» A Typed Compositional Logic for a StackBased Abstract Machine

» An implementation substrate for languages composing modularized crosscutting concerns

» Secure implementations of typed channel abstractions

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	FGCS
Authors	Stephan Diehl, Pieter H. Hartel, Peter Sestoft

Comments (0)