Date: TBD
Topics:
Final Exam
Date: Tuesday, December 16, 10:30am
Topics: The exam is comprehensive and will look like the Midterm. However, the primary focus will be on axiomatic and denotational semantics.
Expressions and Statements
- Defining the semantics of expressions by calculating values
- Defining the semantics of commands by calculating state
- Understanding the distinction between expressions and commands
Axiomatic Semantics
- Defining pre- and post-conditions
- Reasoning about, but not defining, invariants
- Verifying axiomatic definitions
Denotational Semantics
- Defining denotational semantics functions
- Reasoning about denotational semantics functions
- No fixed points
Operational Semantics
- Defining operational semantics rules
- Large step operational semantics
- Small step operational semantics
There will be nothing on type systems. You will not be asked to derived fixed points or find invariants, however be prepared to answer questions about examples that I provide. (e.g. Is X and invariant?) I will provide proof rules for reasoning about axiomatic semantics, although they are simple enough that you will likely remember most of them.