POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Constraint logic programming: selected research
Constraint logic programming: selected research
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Programming paradigms of the Andorra Kernel Language Programming
Programming paradigms of the Andorra Kernel Language Programming
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
A toolkit for the realization of constraint-based multiagent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Rule-based coordination of logic programs
Computer Languages
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |
Oz is an experimental higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and incrementally. A novel feature of Oz is that it accommodates higher-order programming without sacrificing that denotation and equality of variables are captured by first-order logic. Another new feature of Oz is constraint communication, a new form of asynchronous communication exploiting logic variables Constraint communication avoids the problems of stream communication, the conventional communication mechanism employed in concurrent logic programming. Constraint, communication can be seen as providing a minimal form of state fully compatible with logic data structures Based on constraint communication and higher-order programming, Oz readily supports a variety of object-oriented programming styles including multiple inheritance.