Directory
Directory Help
Search only in Tempo
Search the Web
Tempo
Computers
>
Programming
>
Languages
> Tempo
Go to Directory Home
Related Categories:
Computers > Parallel Computing > Programming > Languages
(45)
Computers > Programming > Languages > Concurrent
(21)
Computers > Programming > Languages > Declarative
(44)
Computers > Programming > Languages > Garbage Collected
(209)
Computers > Programming > Languages > Interpreted > Multiparadigm
(17)
Computers > Programming > Languages > Logic-based
(56)
Computers > Programming > Languages > Multiparadigm
(53)
Computers > Programming > Languages > Object-Oriented > Class-based
(87)
Web Pages
View in Google PageRank order
Viewing in alphabetical order
A Logic-Based Concurrent Object-Oriented Programming Language
-
http://citeseer.ist.psu.edu/melendez97logicbased.html
Article Rafael Ramirez.
Tempo: A Declarative Concurrent Programming Language
-
http://citeseer.ist.psu.edu/18502.html
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 - ©2008 Google
Advertise with Us
-
Jobs, Press, Cool Stuff...