Communication with Directed Logic Variables
No abstract available.
DOI 10.1145/99583.99615
Related papers
- Functional Programming and the Logical Variable POPL 1985
- Search Direction by Goal Failure in Goal-Directed Programming TOPLAS 1990
- Annotations for Distributed Programming in Logic POPL 1986
- Parlog: Parallel Programming in Logic TOPLAS 1986
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992
- A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables TOPLAS 1991
- A Logical Theory of Concurrent Objects OOPSLA 1990
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987