An Abstract Machine for Oz
Michael Mehl, Ralf Scheidhauer, Christian Schulte.
Oz is a concurrent constraint language providing for first-class 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.
In: Manuel Hermenegildo, S. Doaitse Swierstra, editors, Programming Languages, Implementations, Logics and Programs, Seventh International Symposium, PLILP'95, Utrecht, The Netherlands, volume 982 of Lecture Notes in Computer Science, pages 151-168. Springer-Verlag, 1995.
Copyright Springer-Verlag, the original publication is available at www.springerlink.com