Abstract machines for programming language implementation
- 31 May 2000
- journal article
- Published by Elsevier BV in Future Generation Computer Systems
- Vol. 16 (7), 739-751
- https://doi.org/10.1016/s0167-739x(99)00088-6
Abstract
No abstract availableKeywords
This publication has 63 references indexed in Scilit:
- Compiling logic programs with equalityPublished by Springer Science and Business Media LLC ,2005
- 1983–1993: The wonder years of sequential Prolog implementationThe Journal of Logic Programming, 1994
- Towards a methodology for the design of abstract machines for logic programming languagesThe Journal of Logic Programming, 1993
- A verified prolog compiler for the Warren Abstract MachineThe Journal of Logic Programming, 1992
- An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypesHigher-Order and Symbolic Computation, 1991
- PVM: A framework for parallel distributed computingConcurrency: Practice and Experience, 1990
- Or-parallel PROLOG on shared memory multiprocessorsThe Journal of Logic Programming, 1989
- An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypesACM SIGPLAN Notices, 1989
- HAM: a general purpose hypertext abstract machineCommunications of the ACM, 1988
- Efficient compilation of lazy evaluationACM SIGPLAN Notices, 1984