Synopsis

• Introduce syntax definitions, understand difference between abstract and concrete syntax.
• Introduce C0 statement and expression language.
• Structure of a C0 state.
• Expression evaluation semantics
• Small-step operational semantics for statements.
• Different modes in which program behave: termination, divergence, aborting, getting stuck.

Sections Covered