Henz, M. and L. Kornstaedt, "The Oz Notation," The Mozart Consortium (2000). URL http://www.mozart-oz.org/documentation/notation/ Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Alice in the Land of Oz: An Interoperability-based.. - Kornstaedt (2001) Self-citation (Kornstaedt) (Correct)
....of our interoperability story: the language Oz, the programming system Mozart which implements Oz, and the language Alice. 2. 1 The Language Oz The language Oz is defined in terms of a small sub language, Core Oz, and a number of syntactic extensions which are defined by translation to Core Oz [9]. Like Oz, Core Oz is a dynamically typed, concurrent, non backtracking relational language. Its syntax is summarized in Fig. 1, using the symbol i for integers, a for atoms, and x, y, and z for variables. Core Oz supports the following data types: Transients are placeholders for unknown ....
....natural to SML programmers. The extensions include in particular libraries for constraint programming, providing finite domain constraints, finite set constraints, and encapsulated search. Since these were already available in Oz through libraries (Oz constraint syntax is only syntactic sugar [9]) it was only a matter of recasting these in a statically typed formulation [2] 5 Implementation Both the implementation of the Alice compiler and the Alice runtime make reuse of existing Mozart technology. This is detailed below. 5.1 Mozart Extensions for Alice The Alice runtime is the ....
Henz, M. and L. Kornstaedt, "The Oz Notation," The Mozart Consortium (2000). URL http://www.mozart-oz.org/documentation/notation/
Tutorial of Oz 2 - Haridi (1999) (1 citation) (Correct)
No context found.
Martin Henz. `The Oz notation'. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC