Abstract Machines for Programming Language Implementation

Stephan Diehl; Pieter H. Hartel; Peter Sestoft

doi:10.1016/S0167-739X(99)00088-6

Abstract Machines for Programming Language Implementation

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

Research output: Contribution to journal › Article › Academic › peer-review

45 Citations (Scopus)

23 Downloads (Pure)

Abstract

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 language	Undefined
Pages (from-to)	739-751
Number of pages	13
Journal	Future generation computer systems
Volume	2000
Issue number	nr. 7
DOIs	https://doi.org/10.1016/S0167-739X(99)00088-6
Publication status	Published - May 2000

Keywords

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

Access to Document

10.1016/S0167-739X(99)00088-6

http://eprints.eemcs.utwente.nl/secure2/974/01/Die00.pdf

Cite this

@article{dd0a6c9343ee405b9820126bd5a18371,

title = "Abstract Machines for Programming Language Implementation",

abstract = "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.",

keywords = "Abstract machine, Compiler design, Intermediate language, METIS-118707, EWI-974, IR-18187, Programming language",

author = "Stephan Diehl and Hartel, {Pieter H.} and Peter Sestoft",

note = "Imported from DIES",

year = "2000",

month = may,

doi = "10.1016/S0167-739X(99)00088-6",

language = "Undefined",

volume = "2000",

pages = "739--751",

journal = "Future generation computer systems",

issn = "0167-739X",

publisher = "Elsevier B.V.",

number = "nr. 7",

}

TY - JOUR

T1 - Abstract Machines for Programming Language Implementation

AU - Diehl, Stephan

AU - Hartel, Pieter H.

AU - Sestoft, Peter

N1 - Imported from DIES

PY - 2000/5

Y1 - 2000/5

N2 - 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.

AB - 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.

KW - Abstract machine

KW - Compiler design

KW - Intermediate language

KW - METIS-118707

KW - EWI-974

KW - IR-18187

KW - Programming language

U2 - 10.1016/S0167-739X(99)00088-6

DO - 10.1016/S0167-739X(99)00088-6

M3 - Article

SN - 0167-739X

VL - 2000

SP - 739

EP - 751

JO - Future generation computer systems

JF - Future generation computer systems

IS - nr. 7

ER -