Submit a site
whatUseek Collection Sites
submit a site
Give your site great placement in this category in as little as two business days!
whatUseek Directory Site Listings:
A Logic-Based Concurrent Object-Oriented Programming Language
- Parallel computers and distributed systems are becoming increasingly important. Their impressive computation to cost ratios offer much higher performance than possible with sequential machines. Yet few commercial applications are written for them because programming in such environments is much harder than programming sequential machines.
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.
Help build the largest human-edited directory on the web.
Submit a Site
Open Directory Project
Become an Editor