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.
NodeWorks boosts web surfing!
Page Returned in 0.026 seconds
-
HTML Compressed 71.8%
Help build the largest human-edited
directory on the web.
