The Oz Programming Model：（Oz的编程模型）.pdfVIP

The Oz Programming Mo del Gert Smolka Programming Systems Lab German Research Center for Articial Intelligence DFKI Stuhlsatzenhausweg Saarbruc ken Germany email smolkadfkiuni sb de July Abstract The Oz Programming Mo del OPM is a concurrent programming mo del sub suming higherorder functional and ob jectoriented programming as facets of a general mo del This is particularly interesting for concurrent ob jectoriented programming for which no comprehensive formal mo del existed until now The mo del can b e extended so that it can express encapsulated problem solvers generalizing the problem solving capabilities of constraint logic programming OPM has b een develop ed together with a concomitant programming language Oz which is designed for applications that require complex symb olic computa tions organization into multiple agents and soft realtime control An ecient robust and interactive implementation of Oz is freely available This pap er has app eared in Computer Science To day Jan van Leeuwen editor Lecture Notes in Computer Science Volume pages Springer Verlag Berlin Contents Intro duction Computation Spaces Concurrency and Parallelism Synchronization as Logic Entailment Constraint Structures A Simple Concurrent Constraint Language Firstclass Pro cedures Cells