Next
Prev
Up
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
Next
Prev
Up
2023-09-12
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2023