VI.1 Introduction
Introduction [Slide 176]
- Programming language based on Interval Temporal Logic.
- Provides a way of directly executing suitable Interval Temporal Logic
specifications of digital circuits, parallel programs and other dynamic
systems.
- Since every Tempura statement is also a temporal formula, the entire
Interval Temporal Logic formalism can be used to reason about
Tempura programs.
- Tempura has the two seemingly contradictory properties of being a
logic programming language and having imperative constructs such as
assignment statements.