User Tools

Site Tools


plc16:lecture_4

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plc16:lecture_4 [2016/08/31 11:55] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 4 ======
 +Lecture 4 {{ :​plc16:​lect4:​main.pdf |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 ===
 +
 +  * [[https://​en.wikipedia.org/​wiki/​Operational_semantics|Operational Semantics]] on Wikipedia.
plc16/lecture_4.txt ยท Last modified: 2016/08/31 11:55 by hossein