The Vienna abstract machine

1987 Battani, 1973, Interpréteur du Language PROLOG Beer, 1989 Bell, 1973, Threaded Code, Commun. ACM, 16, 10.1145/362248.362270 De Bosschere, 1994, Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages Bruynooghe, 1982, The Memory Management of PROLOG Implementations Bruynooghe, 1991, A Practical Framework for the Abstract Interpretation of Logic Programs, J. Logic Programming, 10 Carlsson, 1987, Freeze, Indexing and Other Implementation Issues in the WAM Carlsson, 1990, SICStus Prolog User's Manual Le Charlier, 1994, Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog, ACM TOPLAS, 16, 10.1145/174625.174627 Colmerauer, 1993, The Birth of Prolog, 37 Cousot, 1977, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints Debray, 1992, A Simple Code Improvement Scheme for Prolog, J. Logic Programming, 13, 10.1016/0743-1066(92)90021-T Demoen, 1989, Indexing Prolog Clauses Haygood, 1994, Native Code Compilation in SICStus Prolog Hermenegildo, 1992, Global Flow Analysis as a Practical Compilation Tool, J. Logic Programming, 13, 349, 10.1016/0743-1066(92)90053-6 Hickey, 1989, Global Compilation of Prolog, J. Logic Programming, 7, 10.1016/0743-1066(89)90021-6 Krall, 1987, Implementation of a High-Speed Prolog Interpreter, vol. 22 Krall, 1990, An Empirical Study of the Vienna Abstract Machine Krall, 1993, Clause Indexing in VAM and WAM Based Compilers Krall, 1992, Fast Prolog with a VAM1P Based Prolog Compiler, 631 Krall, 1995, Incremental Global Compilation of Prolog with the Vienna Abstract Machine Krall, 1995, The VAMAI—An Abstract Machine for Incremental Global Dataflow Analysis of Prolog Krall, 1990, The Vienna Abstract Machine Meier, 1990, Compilation of Compound Terms in Prolog Meier, 1991, Recursion vs. Iteration in Prolog Mellish, 1982, An Alternative to Structure Sharing in the Implementation of a Prolog Interpreter Mellish, 1985, Some Global Optimizations for a Prolog Compiler, J. Logic Programming, 2, 10.1016/0743-1066(85)90004-4 Van Roy, 1994, 1983–1993: The Wonder Years of Sequential Prolog Implementation, J. Logic Programming, 19/20, 385, 10.1016/0743-1066(94)90031-0 Van Roy, 1992, High-Performance Logic Programming with the Aquarius Prolog Compiler, IEEE Computer, 25, 10.1109/2.108055 Tan, 1992, Compiling Dataflow Analysis of Logic Programs, vol. 27 Taylor, 1989, Removal of Dereferencing and Trailing in Prolog Compilation Taylor, 1990, LIPS on a MIPS Warren, 1977, Applied Logic—Its Use and Implementation as a Programming Tool Warren, 1983, An Abstract Prolog Instruction Set