| || |
Introduction [Slide 176]
- Programming language based on Interval Temporal Logic.
- Provides a way of directly executing suitable Interval Temporal
Logic speciﬁcations 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.