An Abstract Machine for Oz

Oz is a concurrent constraint language providing for firstclass procedures, concurrent objects, and encapsulated search. DFKI Oz is an interactive implementation of Oz competitive in performance with commercial Prolog and Lisp systems. This paper describes Amoz, the abstract machine underlying DFKI Oz. Amoz implements rational tree constraints, first-class procedures, local computation spaces for deep guards, and preemptive and fair threads.

[1]  Gert Smolka,et al.  Object-Oriented Concurrent Constraint Programming in Oz , 1993, KI.

[2]  Gert Smolka,et al.  Situated Simplification , 1997, Theor. Comput. Sci..

[3]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[4]  Peter Van Roy,et al.  The Wonder Years of Sequential Prolog Implementation , 1996 .

[5]  Gert Smolka,et al.  Encapsulated Search and Constraint Programming in Oz , 1994, PPCP.

[6]  G. Smolka.  A Foundation for Higher-order Concurrent Constraint Programming , 1994 .

[7]  Peter Van Roy,et al.  1983-1993: The Wonder Years of Sequential Prolog Implementation , 1994, J. Log. Program..

[8]  WadlerPhilip,et al.  Report on the programming language Haskell , 1992 .

[9]  Jean-Louis Lassez.  Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes) , 1987, ICLP.

[10]  Gert Smolka,et al.  Records for Logic Programming , 1994, J. Log. Program..

[11]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[12]  Ehud Shapiro,et al.  From Decision Trees to Decision Graphs , 1990, NACLP.

[13]  Gert Smolka,et al.  Encapsulated Search for Higher-order Concurrent Constraint Programming , 1994, ILPS.

[14]  Alain Colmerauer,et al.  Equations and Inequations on Finite and Infinite Trees , 1984, FGCS.

[15]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[16]  Pascal Van Hentenryck,et al.  Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.

[17]  Gert Smolka.  The Definition of Kernel Oz , 1994 .

[18]  Michael J. Maher.  Logic Semantics for a Class of Committed-Choice Programs , 1987, ICLP.

[19]  Robin Milner,et al.  Definition of standard ML , 1990 .

[20]  Per Brand.  A Decision Graph Algorithm for CCP Languages , 1995, ICLP.

[21]  Peter Van Roy,et al.  The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees , 1994, ILPS.

[22]  D. H. Bartley,et al.  Revised4 report on the algorithmic language scheme , 1991, LIPO.

[23]  M. Bruynooghe.  Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994 , 1994, ILPS.