TY  - RPRT
T1  - An abstract machine for Oz 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1995
A1  - Mehl,Michael
A1  - Scheidhauer,Ralf
A1  - Schulte,Christian
Y1  - 2011/06/30
N2  - 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. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3748
ER  -