See this document in CiteSeerX!

Abstract Machines for Programming Language Implementations (2000)  (Make Corrections)  (6 citations)
Stephan Diehl, Pieter Hartel, Peter Sestoft
Future Generation Computer Systems



  Home/Search   Context   Related

 
View or download:
ucsb.edu/~ckrintz/...bstmachines.pdf.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ucsb.edu/~ckrintz/./class...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
An extensive, annotated bibliography.

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. (Update)

Cited by:   More
A Functional Correspondence between Monadic Evaluators and.. - Ager (2004)   (Correct)
From Interpreter to Logic Engine by Defunctionalization - Danvy, Danvy (2004)   (Correct)
A Functional Correspondence between Call-by-Need Evaluators and.. - Ager, al. (2004)   (Correct)

Active bibliography (related documents):   More   All
1.6:   A Generative Methodology for the Design of Machines - Diehl (2000)   (Correct)
1.1:   Bootstrapped Semantics-Directed Compiler Generation - Diehl (1999)   (Correct)
1.0:   Optimizing And-Or Parallel Implementations - Gupta, Jayaraman (1990)   (Correct)

Similar documents based on text:   More   All
0.6:   Visualizing Principles of Machines By Generating Interactive.. - Diehl, Kunze (2000)   (Correct)
0.2:   Specializing Visualization Algorithms - Diehl   (Correct)
0.1:   Proceedings: First European Conference for Information.. - Kure, Thysen, (eds.)   (Correct)

Related documents from co-citation:   More   All
4:   A rational deconstruction of Landin's SECD machine (context) - Danvy - 2003
4:   A functional correspondence between evaluators and abstract machines (context) - Ager, Biernacki et al. - 2003
3:   The definition of Standard ML (context) - Miller, Tofte et al. - 1990

BibTeX entry:   (Update)

S. Diehl, P. Hartel, and P. Sestoft. Abstract machines for programming language implementation. Future Generation Computer Systems, 16:739--751, 2000. http://citeseer.ist.psu.edu/diehl00abstract.html   More

@article{ diehl00abstract,
    author = "Stephan Diehl and Pieter Hartel and Peter Sestoft",
    title = "Abstract machines for programming language implementation",
    journal = "Future Generation Computer Systems",
    volume = "16",
    number = "7",
    pages = "739--751",
    year = "2000",
    url = "citeseer.ist.psu.edu/diehl00abstract.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
1911   Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
906   A structural approach to operational semantics - Plotkin - 1981
788   Rewrite systems - Dershowitz, Jouannaud - 1990
746   The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
587   PVM: a framework for parallel distributed computing - Sunderam - 1990
395   An abstract Prolog instruction set (context) - Warren - 1983
359   The Implementation of Functional Programming Languages (context) - Jones - 1987
261   Modern Operating Systems (context) - Tanenbaum - 1992
259   Combinatory Logic (context) - Curry, Feys - 1958
253   Programming Perl (context) - Wall, Christiansen et al. - 1996
218   The mechanical evaluation of expressions (context) - Landin - 1964
210   Implementing lazy functional languages on stock hardware - Jones - 1992
200   PostScript Language Reference Manual (context) - Systems - 1990
146   The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
144   Garbage Collection -- Algorithms for Automatic Dynamic Memor.. (context) - Jones, Lins - 1996
143   A new implementation technique for applicative languages (context) - Turner - 1979
99   Occam 2 Reference Manual (context) - Limited - 1988
97   The AWK Programming Language (context) - Aho, Kernighan et al. - 1988
89   The MUSE Or-Parallel Prolog Model and its Performance (context) - Ali, Karlsson - 1991
89   TAM -- A Compiler Controlled Threaded Abstract Machine (context) - Culler, Goldstein et al. - 1993
86   The Language and Its Implementation (context) - Goldberg, Robson - 1983
86   The Language and Its Implementation (context) - Goldberg, Robson - 1989
84   Scripting: Higher level programming for the 21st century - Ousterhout - 1998
81   The Zinc experiment: An economical implementation of the ML .. - Leroy - 1990
73   HAM: a general purpose hypertext abstract machine (context) - Campbell, Goodman - 1988
66   Efficient compilation of lazy evaluation - Johnsson - 1984
65   GUM: a portable parallel implementation of Haskell - Trinder, Hammond et al. - 1996
63   The SRI-Model for OR-Parallel Execution of Prolog -- Abstrac.. (context) - Warren - 1987
60   Programming Python (context) - Lutz - 1996
59   A compiler for lazy ML (context) - Augustsson
52   Compiling logic programs with equality (context) - Hanus - 1990
51   Deriving a lazy abstract machine - Sestoft - 1997
48   Implementing Prolog -- compiling predicate logic programs (context) - Warren - 1977
46   Analysis and efficient implementation of functional programs - Sestoft - 1991
45   a dynamically typed object-oriented language based on protot.. (context) - Chambers, Ungar et al.
45   a dynamically typed object-oriented language based on protot.. (context) - Chambers, Ungar et al. - 1991
44   GRIP: a high-performance architecture for parallel graph red.. (context) - Jones, Clark et al. - 1990
43   lazy abstract machine to execute supercombinators (context) - Fairbairn, Wray et al. - 1987
43   Java Virtual Machine (context) - Meyer, Downing - 1997
41   Scheduling in Computer and Manufacturing Systems (context) - Blazwicz, Ecker et al. - 1994
40   The structure and performance of interpreters - Romer, Lee et al.
40   The WAM -- Definition and Compiler Correctness - Brger, Rosenzweig - 1995
35   Super-combinators: A new implementation method for applicati.. (context) - Hughes - 1982
29   An Abstract Machine for CLP (context) - Jaffar, Stuckey et al. - 1992
29   The functional abstract machine (context) - Cardelli - 1983
29   Warren's Abstract Machine -- A Tutorial Reconstruction (context) - At-Kaci - 1991
26   Transputer Instruction Set -- A Compiler Writer's Guide (context) - Limited - 1988
26   Implementing a functional language for highly parallel real .. (context) - Armstrong, Dcker et al. - 1992
26   TeX: The Program (context) - Knuth - 1986
24   Semantics-directed machine architecture (context) - Wand - 1982
24   Graph-based implementation of a functional logic language - Kuchen, Loogen et al. - 1990
23   How to invent a Prolog machine (context) - Kursawe - 1986
22   Software--practice and experience (context) - Fowler, for - 1990
22   Formally based profiling for higher-order functional languag.. - Sansom, Jones - 1997
21   An abstract machine for Oz - Mehl, Scheidhauer et al. - 1995
21   Software -- Practice and Experience (context) - Diehl, in et al. - 1997
20   Efficient tabling mechanisms for logic programs - Ramakrishnan, Rao et al. - 1995
20   The Functional Approach to Programming (context) - Cousineau, Mauny - 1998
19   Can logic programming execute as fast as imperative programm.. (context) - van Roy - 1990
18   Algol60 Implementation (context) - Randell, Russel - 1964
16   Scheduling Or-Parallelism: An Argonne Perspective (context) - Butler, Disz et al. - 1988
16   Recent Enhancements to PVM - Beguelin, Dongarra et al. - 1995
15   Compilers and staging transformations (context) - Jrring, Scherlis - 1986
14   Towards a methodology for the design of abstract machines fo.. (context) - Nilsson - 1993
13   Macro Processors and Techniques for Portable Software (context) - Brown - 1988
13   Improving the three instruction machine (context) - Argo - 1989
13   Execution Models of Prolog for Parallel Computers (context) - Kacsuk - 1990
10   Improving the register allocation in WAM by reordering unifi.. (context) - Janssens, Demoen et al. - 1988
10   A verified Prolog compiler for the Warren abstract machine - Russinoff - 1992
10   KSH -- an extensible high level language (context) - Korn - 1994
10   Compiler Design: Theory (context) - Wilhelm, Maurer - 1995
10   OR-parallel execution of Prolog on BC-machine (context) - Ali - 1988
9   Advanced Perl Programming (context) - Srinivasan - 1997
9   Extending the Warren Abstract Machine to Polymorphic Order-s.. (context) - Beierle, Meyer et al. - 1991
8   The benefits of global dataflow analysis for an optimizing P.. (context) - van Roy, Despain
8   AND-parallel execution of logic programs on a shared memory .. (context) - Lin, Kumar - 1988
8   DREAM: The DistRibuted Eden Abstract Machine (context) - Breitinger, Klusik et al. - 1997
8   Proposal for an UNCOL (context) - Conway - 1958
7   Operational semantics-directed compilers and machine archite.. (context) - Hannan
7   Stack Computers: the new wave (context) - Koopman - 1989
7   From interpreter to compiler: a representational derivation (context) - Wand - 1986
7   A partitioning-independent paradigm for nested data parallel.. - Wendelborn - 1996
7   EPIC: an equational language -- abstract machine and support.. (context) - Walters, Th - 1996
7   Python and Java -- the best of both worlds - Hugunin - 1997
6   Probabilistic load balancing for parallel graph reduction (context) - Seidl, Wilhelm - 1989
6   LEAF: a WAM-based compilation of conditional narrowing (context) - Bosco, Cecchi et al. - 1989
6   Semantics-directed generation of compilers and abstract mach.. (context) - Diehl - 1996
6   graph-reduction evaluator (context) - Kieburtz, G-machine et al.
6   ARM -- Abstract rewriting machine - Kamperman, Walters - 1993
6   Efficient fine-grain thread migration with active threads - Weissman, Gomes et al. - 1996
5   Scheduling OR-Parallelism in MUSE (context) - Ali, Karlsson
5   Code Generation of a Pascal-Compiler (context) - Ammann - 1981
5   Mobile objects in distributed Oz - van Roy, Haridi et al. - 1997
5   Machines environnement pour la rduction symbolique et l'valu.. (context) - Crgut - 1991
5   Amalia ---a unified platform for parsing and generation - Wintner, Gabrilovich et al.
4   Intermediate languages in compiler Construction-A bibliograp.. (context) - Chow, Ganapathi - 1983
4   Transformations of evolving algebras - Diehl - 1997
4   HBC -- The Chalmers Haskell compiler (context) - Augustsson - 1999
4   URL: http://pauillac (context) - Weis, Language et al. - 1999
4   The Categorial Abstract Machine (context) - Cousineau, Curien et al. - 1985
4   Or-Parallel Prolog on Shared Memory Multiprocessors (context) - Ciepielewski, Haridi et al. - 1989
4   Forth: A new way to program a mini-computer (context) - Moore - 1974
3   Tcl and the Tk tookit (context) - Ousterhout - 1994
3   Natural semantics-directed generation of compilers and abstr.. (context) - Diehl
3   An overview of the Adl language project - Alexander - 1995
3   The interactive lazy ML system (context) - Augustsson - 1993
3   Lisp and Functional Programming (context) - Cardelli, language - 1984
3   TRAM: An abstract machine for order-sorted conditional term .. (context) - Ogata, Ohhara et al. - 1997
3   Parallel implementation of functional languages - Wilhelm, Alt et al. - 1997
2   MuP21 -- a high performance MISC processor (context) - Moore, Ting - 1995
2   The PCKS-machine: An abstract machine for sound evaluation o.. (context) - Moreau - 1994
2   A framework for generating compilers from natural semantics .. (context) - McKeever
2   Formal design of an abstract machine for constraint logic pr.. (context) - Beierle - 1994
2   An abstract machine based execution model for parallel execu.. (context) - Hermenegildo - 1986
2   A model for AND-OR parallel execution of logic programs (context) - Gupta, Jayaraman - 1989
2   A Tutorial on the Warren Abstract Machine (context) - Gabriel, Lindholm et al. - 1985
2   ALICE: A multiple-processor reduction machine for the parall.. (context) - Darlington, Reeve - 1981
1   A convergence of parallel and distributed computing (context) - Blair
1   Register allocation (context) - Matyska, Jergova et al. - 1991
1   Pascal Microengine Computer User's Manual (context) - Company, Beach et al. - 1979
1   Sun Microsystems Data Sheet (context) - Microsystems, java - 1998
1   Compiler and Interpreter (context) - Pemberton, Daniels et al. - 1983
1   Camel: An extension of the categorial abstract machine to co.. (context) - Mck - 1992
1   or the trials of timing: experiments with scripting and user.. (context) - Kernighan, Van Wyk et al. - 1998
1   Abstract Machine Model for Parallel and Distributed Computin.. (context) - Kara, Davy et al. - 1996
1   Parallel graph reduction with (context) - Augustsson, Johnsson - 1989
1   An abstract machine for prototyping parallel proof mechanism.. (context) - Johnson, Shen et al. - 1996
1   IRE and AIEE and ACM and AFIPS (context) - Jr, version et al. - 1961
1   calculus: an abstract framework for environment machines (context) - Curien - 1988
1   system and chip (context) - Batali, Scheme- - 1982
1   The UCSD Pascal Handbook (context) - Clark, Koehler - 1982
1   The SNOLBOL4 programming language (context) - Griswold, Poage et al. - 1971
1   The Macro Implementation of SNOLBOL (context) - Griswold - 1972
1   URL: http://www (context) - Sestoft, ML et al. - 1999
1   An abstract machine for the normalization of #-terms (context) - Crgut - 1990
1   ber die Bausteine der mathematischen Logik (context) - Schnfinkel - 1924



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.cs.ucsb.edu/~ckrintz/./classes/cs263/index.html):   More
Secure Java Class Loading - Gong (1998)   (Correct)
Dynamic Type Checking in Jalapeño - Alpern, Cocchi, Grove (2001)   (Correct)
Dynamic Linking on a Shared-Memory Multiprocessor - Alpern, Charney, Choi.. (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC