Martin Henz Programming Systems Lab German Research Center for Artificial...  Home/Search
Context Related
| uebb.cs.tuberlin.d...oznotation.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uebb.cs.tuberlin.de/papers/ex... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Oz is a concurrent language providing for functional, object-oriented, and constraint programming. This report defines how Oz program text is transformed into a Kernel Oz program. Kernel Oz has been designed to be the base for a formal definition of Oz, and therefore to be minimal in the number of syntactic constructs. Technically, Kernel Oz is able to express a wide range of programming styles, including functional and object-oriented programming. Being a purely relational language, however,... (Update)
Context of citations to this paper: More
.... 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...
Cited by: More
Alice in the Land of Oz: An Interoperability-based.. - Kornstaedt (2001) (Correct)
Tutorial of Oz 2 - Haridi (1999) (Correct)
Similar documents (at the sentence level):
53.9%: The Oz Notation - Henz (1994) (Correct)
Active bibliography (related documents): More All
0.1: A Survey of Oz - Smolka (1995) (Correct)
0.1: DFKI Oz User's Manual - Mehl, Müller, Popov, Scheidhauer (1995) (Correct)
0.1: The Oz Standard Modules - Henz, Müller, Schulte, Würtz (1995) (Correct)
Similar documents based on text: More All
0.6: Programming in Oz - Henz, Müller (1995) (Correct)
0.6: DFKI Oz Demos - Müller, Müller, Schulte, Treinen.. (1995) (Correct)
0.6: The Definition of Kernel Oz - Smolka (1994) (Correct)
BibTeX entry: (Update)
Martin Henz. `The Oz notation'. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), 1997. http://citeseer.ist.psu.edu/henz97oz.html More
@misc{ henz97oz,
author = "M. Henz",
title = "The Oz notation",
text = "Martin Henz. `The Oz notation'. DFKI Oz documentation series, German Research
Center for Artificial Intelligence (DFKI), 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/henz97oz.html" }
Citations (may not include all citations):45 German Research Center for Artificial Intelligence (context) - Henz, Muller et al. - 1994
17 German Research Center for Artificial Intelligence (context) - Muller, Popow et al. - 1994
Documents on the same site (http://uebb.cs.tu-berlin.de/papers/external/): More
Separate Compilation of Structured Documents - Groves, Brailsford (1993) (Correct)
An Initial-Algebra Approach to Directed Acyclic Graphs - Gibbons (1995) (Correct)
Pizza into Java: Translating theory into practice - Odersky (1997) (Correct)
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