Directory Help
Search only in Tempo
Search 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...