H ?
«
‹
←
→
›
»
Language peer sets for Tempura:
United Kingdom↑
United Kingdom/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Tempura(ID:1281/tem009)
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 |
References:
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
|