Tempo

Tempo Links

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.
A Logic-Based Concurrent Object-Oriented Programming Language Parallel computers and distributed systems are becoming increasingly important. Their impressive computation to cost ratios offer much higher performance than possible with sequential machines. Yet few commercial applications are written for them because programming in such environments is much harder than programming sequential machines.

Help build the largest human-edited directory on the web.