Book Chapter10.1007/978-3-642-60858-2_23
The Oz Programming Model
Gert Smolka
- 30 Sep 1996
- pp 251-251
TL;DR: The Oz Programming Model is a concurrent programming model subsuming higher-order functional and object-oriented programming as facets of a general model and can be extended so that it can express encapsulated problem solvers generalizing the problem solving capabilities of constraint logic programming.
read more
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 concomitant programming language Oz, which is designed for applications that require complex symbolic computations, organization into multiple agents, and soft real-time control. An efficient, robust, and interactive implementation of Oz is freely available.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Pict: a programming language based on the Pi-Calculus
Benjamin C. Pierce,David N. Turner +1 more
- 24 Jul 2000
TL;DR: Pict is a strongly-typed concurrent programming language constructed in terms of an explicitly-typing -calculus core language, yielding strong, static typing for a high-level language using the -Calculus as its core.
418
Curry: A Truly Functional Logic Language
Michael Hanus,Herbert Kuchen,JJ Moreno-Navarro +2 more
- 01 Jan 1995
TL;DR: The functional logic language Curry is proposed which can deal as a standard language in this area and includes important ideas of existing functional logic languages and recent developments, and combines the most important features of functional and logic languages.
115
Cumulative Scheduling with Task Intervals.
Yves Caseau,François Laburthe +1 more
- 01 Jan 1996
TL;DR: This paper presents a set of propagation rules to solve cumulative constraints that allow a constraint satisfaction program to obtain performances which are competitive with ad-hoc approaches and shows that the complex propagation patterns make a strong arguments for using logic programming.
115
•Book
Iterative Software Engineering for Multiagent Systems: The MASSIVE Method
Jürgen Lind
- 30 May 2001
TL;DR: This paper presents the Conceptual Framework of Massive, a framework for solving the basic problem Solving Capabilities of TCS Agents and Protoz Specification of the Contract-Net Protocol.
114
Constraint and Integer Programming in OPL
TL;DR: The purpose of this paper is to illustrate, using OPL, the constraint-programming approach to combinatorial optimization and the complementary strengths of constraint and integer programming.
91
References
•Book
A calculus of communicating systems
Robin Milner
- 01 Jan 1980
TL;DR: A case study in synchronization and proof techniques, and some proofs about data structures in value-communication as a model of CCS 2.0.
5.3K
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
1.6K
•Book
Research directions in concurrent object-oriented programming
Gul Agha,Peter Wegner,Akinori Yonezawa +2 more
- 29 Oct 1993
TL;DR: Part 1 Language issues: abstraction and modularity mechanisms for concurrent computing, Gul Agha et al trade-offs between reasoning and modelling, and Peter Wegner a survey of logic programming-based object-oriented languages.
323
Principles and Practice of Constraint Programming
Alan Borning
- 01 Jan 1994
TL;DR: The principles and practice of constraint programming is universally compatible with any devices to read and an online access to it is set as public so you can download it instantly.
258
Related Papers (5)
Pascal Van Hentenryck
- 01 Jan 1989
Joxan Jaffar,Michael J. Maher +1 more
Joxan Jaffar,Jean-Louis Lassez +1 more
- 01 Oct 1987
Christian Schulte
- 29 Oct 1997
Philippe Codognet,Daniel Diaz +1 more