© 1996-2019







VI.3 Tempura Syntax

Tempura Syntax [Slide 184]

Three main categories:

  • Locations: place where values are stored and examined, e.g., variables M,N,,nextM,nextN,.
  • Expressions: integer, lambda, Boolean, list, string and float.
  • Statements: subset of ITL plus system statements.







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