Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

An Abstract Machine for Oz

Michael Mehl, Ralf Scheidhauer, Christian Schulte

Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Stuhlsatzenhausweg 3, D66123 Saarbrücken, Germany, Also in: \em Proceedings of PLILP'95\/, Springer-Verlag, LNCS, Utrecht, The Netherlands, June 1995

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.

Download PDF        Show BibTeX               

@TECHREPORT{MSS:RR-95-08,
  title = {An Abstract Machine for Oz},
  author = {Michael Mehl and Ralf Scheidhauer and Christian Schulte},
  year = {1995},
  month = {jun},
  number = {{RR-95-08}},
  type = {{Research Report}},
  address = {"Stuhlsatzenhausweg 3, D66123 Saarbrücken, Germany"},
  institution = {"Deutsches Forschungszentrum für Künstliche Intelligenz"},
  note = {{Also in: {\em Proceedings of PLILP'95\/}, Springer-Verlag,               LNCS, Utrecht, The Netherlands}},
}

Login to edit