| Alternate document: Details An Oz Primer (95) Gert Smolka |
Gert Smolka  Home/Search
Context Related
| unh.edu/pub/csp/ar...lkaozmodel.ps.gz ps.unisb.de/Papers/abs...volume1000.ps 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: unh.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Oz Programming Model (OPM) is a concurrent programming model subsuming higher- order functional and object-oriented programming as facets of a general model. This is particularly interesting for concurrent object-oriented programming, for which no comprehensive formal model existed until now. The model can be extended so that it can express encapsulated problem solvers generalizing the problem solving capabilities of constraint logic programming. OPM has been developed together with a... (Update)
Cited by: More
Combinatorial Optimization in OPL Studio - Van Hentenryck Michel (1999) (Correct)
Pascal Van Hentenryck - Brown University Laurent (2000) (Correct)
A Preview of OPL - Pascal Van Hentenryck (2000) (Correct)
Active bibliography (related documents): More All
0.7: A Type is a Type is a Type - Müller, Niehren (1995) (Correct)
0.4: Constraints for Free in Concurrent Computation - Niehren, Müller (1995) (Correct)
0.4: An Oz Primer - Smolka (1995) (Correct)
Similar documents based on text: More All
0.7: The Operational Semantics of Oz - Collet, Van Roy (2001) (Correct)
0.6: Typed Concurrent Programming with Logic Variables - Müller, Niehren, Smolka (Correct)
0.3: Concurrent Constraint Programming Based on Functional Programming .. - Smolka (1998) (Correct)
Related documents from co-citation: More All
16: Concurrent Constraint Programming (context) - Saraswat - 1993
14: Concurrent Constraint Programming (context) - Saraswat - 1990
13: The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
BibTeX entry: (Update)
G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Springer, LNCS 1000, 1995. http://citeseer.ist.psu.edu/smolka95oz.html More
@incollection{ smolka95:oz-programming:inc,
author={Gert Smolka},
title={The Oz Programming Model},
booktitle={Computer Science Today: Recent Trends and Developments},
publisher={Springer-Verlag},
year={1995},
address={Berlin},
editor={Jan van Leeuwen},
pages={324-343},
isbn={3-540-60105-8},
series={Lecture Notes in Computer Science},
volume={1000},
url={citeseer.ist.psu.edu/smolka95oz.html},
url={ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/volume1000.ps.gz} }
Citations (may not include all citations):373 Constraint logic programming: A survey - Jaffar, Maher - 1994
344 Concurrent Constraint Programming (context) - Saraswat - 1993
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
204 Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993
194 Functions as processes (context) - Milner - 1992
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
114 A natural semantics for lazy evaluation - Launchbury - 1993
114 Programming paradigms of the Andorra kernel language - Janson, Haridi - 1991
105 Records for logic programming - Smolka, Treinen - 1994
86 Obliq: A Language with Distributed Scope - Cardelli - 1995
75 Object-oriented concurrent constraint programming in Oz - Henz, Smolka et al. - 1995
48 Encapsulated search in higher-order concurrent constraint pr.. - Schulte, Smolka - 1994
41 A foundation for higher-order concurrent constraint programm.. - 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
28 The definition of Kernel Oz - Smolka - 1995
23 A complete axiomatization of a theory with feature and arity.. - Backofen - 1995
21 An abstract machine for Oz - Mehl, Scheidhauer et al. - 1995
19 Technology and Science of Informatics (context) - Colmerauer, Kanoui et al. - 1983
11 DFKI Oz documentation series (context) - Smolka, primer - 1995
7 Funktionale Berechnung in einem uniform nebenlaufigen Kalkul.. (context) - Niehren - 1994
5 A confluent relational calculus for higher-order programming.. - Niehren, Smolka - 1994
4 Ports for objects (context) - Janson, Montelius et al. - 1993
3 Fresh: A higher-order language with unification and multiple.. (context) - Smolka - 1986
2 DFKI Oz documentation series (context) - Muller, Popow et al. - 1994
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.cs.unh.edu.html): More
Csim - a Simple HP48 Circuit Simulator for Educational Purposes - Stenius (1992) (Correct)
Solving Geometric Constraint Systems - Kramer (1990) (Correct)
A Theorem-Proving Approach to Jobshop Scheduling - Toni (1994) (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