- The search engine that doesn't track you.
Internet Directory - Top : Computers : Programming : Languages : Tempo
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.
© 1999-2019 Searchalot - The world's safest search engine.
Searchalot is proudly "Made in the USA"