Martin Henz, Gert Smolka, Jörg Würtz  @ NUS Home/Search
Context Related
| nus.edu.sg/~henz/publicatio...PPCP93.ps Cached: PS.gz PS PDF Image Update Help From: nus.edu.sg/~henz/publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Oz is a higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and incrementally. A novel feature of Oz is the support of higher-order programming without sacrificing that denotation... (Update)
Context of citations to this paper: More
...of natural language. More recently, the use of feature descriptions in logic programming has been advocated and studied [2, 3, 4, 17, 16]. Essentially, feature de scriptions provide a logical version of records, a data structure found in many programming languages....
...of Oz [11] a higher order object oriented concurrent constraint programming language. Some aspects of Oz have been reported in [12, 32]. The major difficulty encountered in the design of Oz was the lack of a sufficiently powerful framework for designing such a language...
Cited by: More
Multiparadigm Programming with Object-Oriented Languages - Striegnitz, Davis, (eds.) (Correct)
Lu'is Lopes Vasco T. Vasconcelos - Departamento De Ciencia (Correct)
A Type is a Type is a Type - Müller, Niehren (1995) (Correct)
Similar documents (at the sentence level):
75.2%: Object-Oriented Concurrent Constraint Programming in Oz - Henz, Smolka, Würtz (1993) (Correct)
Active bibliography (related documents): More All
0.1: An Oz Primer - Smolka (1995) (Correct)
0.1: The Definition of Kernel Oz - Smolka (1994) (Correct)
0.0: A Survey of Oz - Smolka (1995) (Correct)
Similar documents based on text: More All
0.5: The Operational Semantics of Oz - Collet, Van Roy (2001) (Correct)
0.3: Concurrent Constraint Programming Based on Functional Programming .. - Smolka (1998) (Correct)
0.2: Oz - A Programming Language for Multi-Agent Systems - Henz, Smolka, Würtz (1993) (Correct)
Related documents from co-citation: More All
23: The Oz programming model - Smolka - 1995
16: Programming paradigms of the Andorra kernel language - Janson, Haridi - 1991
16: Logic semantics for a class of committed-choice programs (context) - Maher - 1987
BibTeX entry: (Update)
G. Smolka, M. Henz, J. Wurtz. (1993) "Object-Oriented Concurrent Constraint Programming in Oz." DFKI RR-933-16, Saarbrucken, 1993. http://citeseer.comp.nus.edu.sg/281038.html More
@incollection{ smolka95:ooccp-oz:inc,
author={Gert Smolka and Martin Henz and J{\"o}rg W{\"u}rtz},
title={Object-Oriented Concurrent Constraint Programming in Oz},
booktitle={Principles and Practice of Constraint Programming},
publisher={The MIT Press},
year={1995},
month={May},
address={Cambridge, MA},
editor={Vijay Saraswat, Pascal Van Hentenryck},
chapter={2},
pages={29-48},
isbn={0-262-19361-2},
url={citeseer.comp.nus.edu.sg/281038.html},
url={http://www.ps.uni-sb.de/Papers/abstracts/PPCP93.html} }
Citations (may not include all citations):247 The family of concurrent logic programming languages (context) - Shapiro - 1989
105 Records for logic programming - Smolka, Treinen - 1994
61 Object oriented programming in Concurrent Prolog (context) - Shapiro, Takeuchi - 1983
48 Encapsulated search in higher-order concurrent constraint pr.. - Schulte, Smolka - 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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.comp.nus.edu.sg/~henz/publications/): More
Term Rewriting In Associative Commutative Theories With Identities - Henz (1991) (Correct)
Objects in Higher-order Concurrent Constraint Programing.. - Martin Henz, Gert Smolka (Correct)
Figaro: Yet Another Constraint Programming Library - Henz, Müller, Boon (1999) (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.