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.