×

zbMATH — the first resource for mathematics

Executing temporal logic programs. (Reprint). (English) Zbl 0658.68014
Cambridge etc.: Cambridge University Press. XIII, 125 p.; £10.95; $ 14.95 (1987).
[Reprinted from the first edition (1986).]
Based on interval temporal logic, i.e., temporal logic with operators referring to intervals of time added to the usual always- and next- operator, this very interesting booklet develops a programming language TEMPURA which provides means for directly executing suitable temporal logic specifications of digital circuits, parallel programs, etc. Each TEMPURA statement is also a temporal logic formula: this provides for an easy access to a natural semantics. Together with the TEMPURA programming language an interpreter is described too.
Reviewer: S.Gottwald

MSC:
68N01 General topics in the theory of software
03B45 Modal logic (including the logic of norms)
03B70 Logic in computer science
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science