摘要: The Oz Programming Model (OPM) is a concurrent programming model subsuming higher-order functional and object-oriented as facets of general model. This particularly interesting for programming, which no comprehensive formal existed until now. can be extended so that it express encapsulated problem solvers generalizing the solving capabilities constraint logic programming. OPM has been developed together with concomitant language Oz, designed applications require complex symbolic computations, organization into multiple agents, soft real-time control. An efficient, robust, interactive implementation freely available.
springer.com
acm.org 
sci-hub.st 参考文章(25)
Michael J. Maher, Logic Semantics for a Class of Committed-Choice Programs. international conference on lightning protection. pp. 858- 876 ,(1987)
Christian Schulte, Gert Smolka, Jörg Würtz, Encapsulated Search and Constraint Programming in Oz principles and practice of constraint programming. ,vol. 874, pp. 134- 150 ,(1994) , 10.1007/3-540-58601-6_96
Peter Wegner, Gul Agha, Akinori Yonezawa, Research directions in concurrent object-oriented programming MIT Press. ,(1993)
Gert Smolka, A Foundation for Higher-order Concurrent Constraint Programming CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics. pp. 50- 72 ,(1994) , 10.1007/978-3-642-60858-2_24
Christian Schulte, Gert Smolka, Encapsulated search for higher-order concurrent constraint programming international conference on logic programming. pp. 505- 520 ,(1994)
Prakash Panangaden, Gert Smolka, FRESH: A Higher-Order Language with Unification and Multiple Results Logic Programming: Functions, Relations, and Equations. pp. 469- 524 ,(1985)
Seif Haridi, Sverker Janson, Programming paradigms of the Andorra Kernel Language ISLP. pp. 167- 183 ,(1991)
Luca Cardelli, Obliq, a language with distributed scope ,(1996)
Joachim Niehren, Gert Smolka, A Confluent Relational Calculus for Higher-Order Programming with Constraints CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics. ,vol. 845, pp. 89- 104 ,(1994) , 10.1007/BFB0016846
Michael Mehl, Ralf Scheidhauer, Christian Schulte, An Abstract Machine for Oz international symposium on programming language implementation and logic programming. ,vol. 982, pp. 151- 168 ,(1995) , 10.1007/BFB0026819