Directory of Tempo Resources
Home > Computers > Programming > Languages > Tempo
Resources in This Category
-
Tempo: A Declarative Concurrent Programming Language
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555
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.
Related Categories
- Home > Computers > Parallel Computing > Programming > Languages
- Home > Computers > Programming > Languages > Concurrent
- Home > Computers > Programming > Languages > Declarative
- Home > Computers > Programming > Languages > Garbage Collected
- Home > Computers > Programming > Languages > Interpreted > Multiparadigm
- Home > Computers > Programming > Languages > Logic-based
- Home > Computers > Programming > Languages > Multiparadigm
- Home > Computers > Programming > Languages > Object-Oriented > Class-based
Home > Computers > Programming > Languages > Tempo
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us
