Midterm

Our midterm will be March 31. Topics as discussed in class will include:

Basic Language Definitions

• defining abstract syntax
• using inductive

defining computational evaluation

• defining values, terms and commands
• defining state and state transformation
• termination and non-termination

defining evaluation relations

• defining inference rules
• inductive propositions using inductive
• including and transforming state
• defining evaluation relations for expressions
• defining evaluation relations for commands

program equivalence

• specifying behavioral equivalence
• strong and weak bisimulation
• optimization applications
• non-termination
• program equivalence as equivalence

program assertions

• program state
• definition
• use and notations

Hoare triples

• definition
• validity
• assignment
• sequence
• skip
• if