Abstract Machines for Programming Language Implementation

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

    Research output: Contribution to journalArticleAcademicpeer-review

    44 Citations (Scopus)
    23 Downloads (Pure)


    We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular language implementations, relatively little work has been done to design abstract machines in a systematic fashion.
    Original languageUndefined
    Pages (from-to)739-751
    Number of pages13
    JournalFuture generation computer systems
    Issue numbernr. 7
    Publication statusPublished - May 2000


    • Abstract machine
    • Compiler design
    • Intermediate language
    • METIS-118707
    • EWI-974
    • IR-18187
    • Programming language

    Cite this