Related categories 8

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. (January 01, 1995)
[Computer Mozilla]
Last update:
May 29, 2015 at 8:15:11 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business