Objects in concurrent logic programming languages (abstract only)

Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization [Shapiro 1983a]. While it provides ...

Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization [Shapiro 1983a]. While it provides ...

This tutorial treats object-oriented concurrent programming (OOCP) as the natural generalization of object-oriented programming. OOCP decomposes a large program into a collection of small modules that run and interact concurrently and are capable of ...