User Tools

Site Tools


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

plc16/lecture_4.txt · Last modified: 2016/08/31 11:55 by hossein