Gert Smolka  @ NUS Home/Search
Context Related
| dfki.unisb.de/pub/MA...OzPrimer.ps.gz isg.sfu.ca/oz/survey.ps.gz isg.sfu.ca/oz/Primer.ps.gz Cached: PS.gz PS PDF Image Update Help From: fermivista.math....dfki.unisb.de (more) From: isg.sfu.ca/oz/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This document is a first introduction to programming in Oz. It is mostly written as a hands-on tutorial animating the reader to interactively experiment with the DFKI Oz system. Oz is a concurrent constraint programming language designed for applications that require complex symbolic computations, organization into multiple agents, and soft real-time control. It is based on a new computation model providing a uniform foundation for higher-order functional programming, constraint logic... (Update)
Context of citations to this paper: More
...forms of computation as facets of a single phenomenon. This increases the range of problems that can easily be cast into the language [14]. Oz has a fully defined formal semantics [15] as well as an efficient and robust implementation [11] We take Oz as the foundation of...
...and a concurrent LP solver has been developed in Oz. Oz is a very high level programming language designed for symbolic computation [20]. Oz is based on logic variables and fair concurrency. The shared constraint store and the concurrent processes could thus been...
Cited by: More
An Experiment with LUDRs in Oz - Worm (1995) (Correct)
AgentMove - Distributed Dynamic Public Transport Scheduling - Bohnenberger (1996) (Correct)
ALaDIn - A Language for Designing InteRRaP Agents - Rosinus (1996) (Correct)
Similar documents (at the sentence level):
6.1%: A Survey of Oz - Smolka (1995) (Correct)
Active bibliography (related documents): More All
0.4: The Oz Programming Model - Smolka (1995) (Correct)
0.3: Polymorphic Type Inference And Assignment - Leroy, Weis (1990) (Correct)
0.2: DFKI Oz User's Manual - Mehl, Müller, Popov, Scheidhauer (1995) (Correct)
Similar documents based on text: More All
0.5: The Oz Notation - Martin Henz Programming (1997) (Correct)
0.4: Concurrent Constraint Programming Based on Functional Programming .. - Smolka (1998) (Correct)
0.3: Operational Semantics of Constraint Logic Programs with.. - Podelski, Gert (1995) (Correct)
Related documents from co-citation: More All
3: Concurrent Constraint Programming (context) - Saraswat - 1993
3: Presentation at Memtek seminar (context) - Magnusson - 1996
3: Munchkins: A shell for distributed multi-user games - Henz, ller et al. - 1995
BibTeX entry: (Update)
Gert Smolka. An Oz Primer. In DFKI Oz Documentation, 1995. Available at http://ps-www.dfki.uni-sb.de/oz/documentation/#crash. http://citeseer.comp.nus.edu.sg/130517.html More
@misc{ smolka95oz,
author = "G. Smolka",
title = "An Oz Primer",
text = "Gert Smolka. An Oz Primer. In DFKI Oz Documentation, 1995. Available at
http://ps-www.dfki.uni-sb.de/oz/documentation/#crash.",
year = "1995",
url = "citeseer.comp.nus.edu.sg/130517.html" }
Citations (may not include all citations):362 ML for the Working Programmer (context) - Paulson - 1991
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
105 Records for logic programming - Smolka, Treinen - 1994
101 Concurrent Constraint Programming (context) - Saraswat - 1993
63 German Research Center for Artificial Intelligence (context) - Smolka, of et al. - 1994
48 Encapsulated search in higher-order concurrent constraint pr.. - Schulte, Smolka - 1994
45 German Research Center for Artificial Intelligence (context) - Muller, Muller 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
28 German Research Center for Artificial Intelligence (context) - Mehl, Muller et al. - 1994
17 German Research Center for Artificial Intelligence (context) - Muller, Popow et al. - 1994
12 German Research Center for Artificial Intelligence (context) - Schulte, in et al. - 1994
3 Fresh: A higher-order language with unification and multiple.. (context) - Smolka - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.dfki.uni-sb.de.html): More
Integrating Affective Computing Into Animated Tutoring Agents. - Elliott, al. (1997) (Correct)
Referring in Multimodal Systems: The Importance of.. - Petrelli, De.. (1997) (Correct)
Planning Referential Acts for Animated Presentation Agents - André, Rist (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.