Christian Schulte, Gert Smolka, Jörg Würtz  @ NUS Home/Search
Context Related
| washington.edu/pub/const...schulte.ps.Z unh.edu/pub/csp/archive/...schulte.ps.Z Cached: PS.gz PS PDF Image Update Help From: sunsite.ust.hk/dblp/db/c...ppcp94 (more) From: unh.edu (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):
53.1%: Encapsulated Search for Higher-order Concurrent.. - Christian Schulte.. (1994) (Correct)
6.6%: 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 - Schulte, Smolka, Würtz (1994) (Correct)
0.1: Towards the Verification of Concurrent Constraint Programs in.. - Jörg Würtz (1994) (Correct)
0.0: Report of the EAGLES Workshop on Implemented.. - Backofen, Krieger, .. (1993) (Correct)
Similar documents based on text: More All
0.5: Programming Deep Concurrent Constraint Combinators - Schulte (2000) (Correct)
0.4: Programming Constraint Inference Engines - Schulte (1997) (Correct)
0.4: Situated Simplification - Podelski, Smolka (1995) (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/1692.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/1692.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
114 Programming paradigms of the Andorra kernel language - Janson, Haridi - 1991
75 Object-oriented concurrent constraint programming in Oz - Smolka, Henz et al. - 1993
39 A calculus for higher-order concurrent constraint programmin.. - Smolka - 1994
36 Oz---a programming language for multi-agent 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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sunsite.ust.hk/dblp/db/conf/ppcp/ppcp94.html): More
Specification and Verification of Constraint-Based Dynamic Systems - Ying Zhang (Correct)
Efficient and Complete Tests for Database Integrity.. - Gupta, Sagiv, Ullman.. (1994) (Correct)
Beyond Finite Domains - Jaffar, Maher, Stuckey, Yap (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.