The Oz Programming Model
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 324-343
- https://doi.org/10.1007/bfb0015252
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A complete axiomatization of a theory with feature and arity constraintsThe Journal of Logic Programming, 1995
- A language with distributed scopePublished by Association for Computing Machinery (ACM) ,1995
- The definition of Kernel OzPublished by Springer Nature ,1995
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Records for logic programmingThe Journal of Logic Programming, 1994
- A feature constraint system for logic programming with entailmentTheoretical Computer Science, 1994
- A natural semantics for lazy evaluationPublished by Association for Computing Machinery (ACM) ,1993
- Concurrent Constraint ProgrammingPublished by MIT Press ,1993
- Functions as processesMathematical Structures in Computer Science, 1992
- The family of concurrent logic programming languagesACM Computing Surveys, 1989