plc16:lecture_4
Lecture 4
Lecture 4 Slides
Lecture 4 is about the operational semantics rules for evaluation of ImpCore expressions and definitions.
Readings
- PL: BPC Chapter 1 (Sections 1.4,1.5)
Optional Readings
- Operational Semantics on Wikipedia.
plc16/lecture_4.txt · Last modified: 2016/08/31 11:55 by hossein