Skip to main content
Logo image

Section C.12 S1: C0 Syntax and Semantics


  • 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.