Tempo
2 links
A Logic-Based Concurrent Object-Oriented Programming Language
citeseer.ist.psu.edu
Article Rafael Ramirez.
Tempo: a declarative concurrent programming language
citeseer.ist.psu.edu
Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety …
Showing 20–2 of 2 results