Directory Help
Search only in TempoSearch the Web  

Tempo
  Computers > Programming > Languages > Tempo   Go to Directory Home  

Web Pages
View in Google PageRank order               Viewing in alphabetical order
A Logic-Based Concurrent Object-Oriented Programming Language http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8091
Article Rafael Ramirez.
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.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...