Skip to main content

Section C.12 S1: C0 Syntax and Semantics

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.

Section 6.1, Section 6.2, Section 6.3