H ? « »

Language peer sets for Tempura:
United Kingdom
United Kingdom/1985
Designed 1985
1980s languages
Fifth generation
Late Cold War


alternate simple view
Country: United Kingdom
Designed 1985
Published: 1985

Language based on temporal logic.

Related languages
ITL Tempura   Implementation
Tempura extended Tempura   Extension of
Tempura Tokio   Influence

  • Moszkowski, B.; (1985) Moszkowski, B.; "A Temporal Logic for Multilevel Reasoning about Hardware", IEEE Computer, 18, Feb. 1985, pp10-19
  • B. C. Moszkowski (1986) B. C. Moszkowski "Executing Temporal Logic Programs" Cambridge University Press, 1986
  • Hale, R. (1987) Hale, R. Temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pp. 91-119. Academic Press, 1987.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Tempura/Moszkowski
  • Duan, Z. (1996) Duan, Z. "An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming" PhD University of Newcastle upon Tyne. 1996 Abstract Online copy
  • Moszkowski, Ben (1996) Moszkowski, Ben "The programming language Tempura" pp730-733
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder