Week: Structural Operational Semantics | Programming Languages and Compiler Design | UFRIM²AG : Moodle

Section outline

The structural operational semantics of language While.

Comparing the natural and structural operational semantics.
- Select activity Lecture - Structural Operational Semantics
  
  Lecture - Structural Operational Semantics Folder