H ? « ‹ ← → › »

Language peer sets for TEMPO:
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

TEMPO(ID:2571/tem004)

alternate simple view
Designed 1995

declarative concurrent programming language based on classical first-order logic. Improves on usual CLL 9e.g. PARLOG) by explicitly specifing aspects of behavior of concurrent programs, namely safety properties; gives advantages in writing concurrent programs and manipulating them while preserving correctness.
References:
  • Gregory, Steve and Ramirez, Rafael (1995) Gregory, Steve and Ramirez, Rafael "Tempo: a declarative concurrent programming language" pp515-529 Link to O/L version
          in Sterling, Leon (Ed.): Logic Programming, Proceedi (1995) Sterling, Leon (Ed.): Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan. MIT Press 1995
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder