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. http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/tempo-iclp95.html ReviewsRating: Not yet Rated
Whois Check
Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.