© 1996-2019







VI.10 Summary

Summary [Slide 263]

  • A Tempura program is an executable first order ITL formula
  • A Tempura program consists of locations, expressions and statements
  • The Tempura interpreter constructs a satisfying interval for a Tempura program







2019-05-10
Contact | Home | ITL home | Course | Proofs | Algebra | FL