|
Tempo: a declarative concurrent programming language
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 properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness.
url: www.cs.bris.ac.uk/Tools/Reports/Abstracts/tempo-ic...
A Logic-Based Concurrent Object-Oriented Programming Language
Article Rafael Ramirez.
url: www.cs.bris.ac.uk/Tools/Reports/Abstracts/1996-ram...
comp.object: news: - Google Groups
All the Web -
AltaVista -
Gigablast -
Google USENET -
Google -
Teoma -
Yahoo
|
|