Gert Smolka  Home/Search
Context Related
| wwwsiegert.in.tum.de/aus...kernel.ps.gz isg.sfu.ca/oz/kernel.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: wwwsiegert.in.tum.de/ausstattu... (more) From: isg.sfu.ca/oz/ (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 paper defines Kernel Oz, a semantically complete sublanguage of Oz. It was an important design requirement that Oz be definable by reduction to a lean kernel language. The definition of Kernel Oz introduces three essential abstractions: the Oz universe, the Oz calculus, and the actor model. The Oz universe is a first-order structure defining the values and constraints Oz computes with. The Oz ... (Update)
Context of citations to this paper: More
...prune the search space in an efficient way. 2 Computation in Oz 2. 1 Computation Model The central notion in Oz is a computation space [14]. A computation space consists essentially of a constraint store and a set of associated tasks. Constraints residing in the constraint...
...generalize tuples in that subtrees can be referred to by name rather than by position only. Information on the universe can be found in [136]. More on records can be found in [140, 7] Finite Set Constraints In addition to finite domain constraints, full Oz offers constraints...
Cited by: More
Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002) (Correct)
A Type is a Type is a Type - Müller, Niehren (1995) (Correct)
An Abstract Machine for Oz - Mehl, al. (1995) (Correct)
Active bibliography (related documents): More All
0.9: The Definition of Kernel Oz - Smolka (1994) (Correct)
0.3: A Survey of Oz - Smolka (1995) (Correct)
0.2: An Oz Primer - Smolka (1995) (Correct)
Similar documents based on text: More All
0.6: The Oz Notation - Martin Henz Programming (1997) (Correct)
0.5: The Operational Semantics of Oz - Collet, Van Roy (2001) (Correct)
0.3: A Confluent Relational Calculus for Higher-Order Programming.. - Niehren, Smolka (1994) (Correct)
Related documents from co-citation: More All
16: The Oz programming model - Smolka - 1995
15: Object-Oriented Concurrent Constraint Programming in Oz - Smolka, Henz et al. - 1993
13: Encapsulated search in higher-order concurrent constraint programming - Schulte, Smolka - 1994
BibTeX entry: (Update)
G. Smolka. The definition of Kernel Oz. In A. Podelski, editor, Constraints: Basics and Trends, pages 251--292. Lecture Notes in Computer Science, Vol. 910, SpringerVerlag, Berlin, 1995. http://citeseer.ist.psu.edu/article/smolka94definition.html More
@techreport{ smolka94definition,
author = "Gert Smolka",
title = "The Definition of Kernel Oz",
number = "RR-94-23",
address = "Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche Intelligenz GmbH\\Erwin-Schr{\"o}dinger Stra{ss}e\\Postfach 2080\\67608 Kaiserslautern\\Germany",
pages = "53",
year = "1994",
url = "citeseer.ist.psu.edu/article/smolka94definition.html" }
Citations (may not include all citations):200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
194 Functions as processes (context) - Milner - 1992
137 Laboratory for Foundations of Computer Science (context) - Milner, ss-calculus et al. - 1991
105 Records for logic programming - Smolka, Treinen - 1994
63 German Research Center for Artificial Intelligence (context) - Smolka, primer et al. - 1994
48 Encapsulated search in higher-order concurrent constraint pr.. - Schulte, Smolka - 1994
45 German Research Center for Artificial Intelligence (context) - Henz, Muller et al. - 1994
45 German Research Center for Artificial Intelligence (context) - Henz, notation et al. - 1994
41 A foundation for higher-order concurrent constraint programm.. - Smolka - 1994
39 A calculus for higher-order concurrent constraint programmin.. - Smolka - 1994
37 Encapsulated search and constraint programming in Oz - Schulte, Smolka et al. - 1994
33 A feature-based constraint system for logic programming with.. - Ait-Kaci, Podelski et al. - 1994
17 German Research Center for Artificial Intelligence (context) - Muller, Popow et al. - 1994
16 Feature constraints with first-class features - Treinen - 1993
11 How to win a game with features - Backofen, Treinen - 1994
2 a preliminary version is available as DFKI Research Report R.. (context) - Backofen, Smolka et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://wwwsiegert.in.tum.de/ausstattung/software/www-doc/oz-1.1.1/): More
A Survey of Oz - Smolka (1995) (Correct)
The Oz Standard Modules - Henz, Müller, Schulte, Würtz (1995) (Correct)
DFKI Oz User's Manual - Mehl, Müller, Popov, Scheidhauer (1995) (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