© 1996-2019

VI.1 Introduction

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.

Contact | Home | ITL home | Course | Proofs | Algebra | FL