Christian Schulte, Gert Smolka, Jörg Würtz  @ NUS Home/Search
Context Related
| isg.sfu.ca/dfkips/RR9420.ps.gz dfki.unikl.de/pub/Pub...RR9420.ps.gz Cached: PS.gz PS PDF Image Update Help From: isg.sfu.ca/dfkips/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Oz is an attempt to create a high-level concurrent programming language providing the problem solving capabilities of logic programming (i.e., constraints and search). Its computation model can be seen as a rather radical extension of the concurrent constraint model providing for higher-order programming, deep guards, state, and encapsulated search. This paper focuses on the most recent extension, a higher-order combinator providing for encapsulated search. The search combinator spawns a local... (Update)
Context of citations to this paper: More
.... such as functional [Mil92, Smo94, Nie94, Iba95, PT95b] object oriented [Vas94, PT95a, HSW95, Wal95] and constraint programming [JH91, SSW94]. All these paradigms are supported by the programming language Oz [Smo95a, Smo95b] In this paper, we model the time complexity of...
...typed language. Our particular interest is to provide types for a higher order concurrent constraint language such as Oz [Smo95, HSW95, SSW94]. We aim at rejecting as many ill typed programs as feasible, but not to prove the accepted programs well typed. While strong...
Cited by: More
Constraint Programming for Natural Language Processing - Duchier (2000) (Correct)
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)
Similar documents (at the sentence level):
48.7%: Encapsulated Search for Higher-order Concurrent.. - Christian Schulte.. (1994) (Correct)
6.2%: Objects in Higher-order Concurrent Constraint Programing.. - Martin Henz, Gert Smolka (Correct)
Active bibliography (related documents): More All
0.4: Encapsulated Search and Constraint Programming in Oz - Christian Schulte, Gert.. (1994) (Correct)
0.1: Towards the Verification of Concurrent Constraint Programs in.. - Jörg Würtz (1994) (Correct)
0.0: Oz Explorer: A Visual Constraint Programming Tool - Schulte (1996) (Correct)
Similar documents based on text: More All
3.9: The Definition of Kernel Oz - Smolka (1994) (Correct)
3.9: Satisfiability of the Smallest Binary Program - Hanschke, Würtz (1993) (Correct)
3.9: Unifying Cycles - Würtz (1992) (Correct)
Related documents from co-citation: More All
21: The Oz programming model - Smolka - 1995
15: Encapsulated search in higher-order concurrent constraint programming - Schulte, Smolka - 1994
14: Object-Oriented Concurrent Constraint Programming in Oz - Smolka, Henz et al. - 1993
BibTeX entry: (Update)
C. Schulte, G. Smolka, and J. Wurtz. Encapsulated search and constraint programming in Oz. In Second Workshop on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol. 874. Springer, 1994. http://citeseer.comp.nus.edu.sg/126516.html More
@misc{ schulte94encapsulated,
author = "C. Schulte and G. Smolka and J. Wurtz",
title = "Encapsulated search and constraint programming in Oz",
text = "C. Schulte, G. Smolka, and J. Wurtz. Encapsulated search and constraint
programming in Oz. In Second Workshop on Principles and Practice of Constraint
Programming, Lecture Notes in Computer Science, vol. 874. Springer, 1994.",
year = "1994",
url = "citeseer.comp.nus.edu.sg/126516.html" }
Citations (may not include all citations):344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
194 Functions as processes (context) - Milner - 1992
114 Programming paradigms of the Andorra kernel language - Janson, Haridi - 1991
75 Object-oriented concurrent constraint programming in Oz - Henz, Smolka et al. - 1994
48 Encapsulated search in higher-order concurrent constraint pr.. - Schulte, Smolka - 1994
39 A calculus for higher-order concurrent constraint programmin.. - Smolka - 1994
36 Oz---a programming language for multiagent systems - Henz, Smolka et al. - 1993
20 implementation and evaluation of the constraint language cc (context) - Van Hentenryck, Saraswat et al. - 1993
3 Available through anonymous ftp from duck (context) - Henz, Mehl et al. - 1994
1 Also in 1st International Conference on Constraints in Compu.. (context) - Smolka, for et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.isg.sfu.ca/dfki-ps/): More
A Foundation for Higher-order Concurrent Constraint Programming - Gert Smolka (1994) (Correct)
A Feature-based Constraint System for Logic.. - Hassan Aït-Kaci.. (1992) (Correct)
Towards the Verification of Concurrent Constraint Programs in.. - Jörg Würtz (1994) (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.