CSE 341 - Formal Semantics

• Programming language semantics (lecture slides)
• R.D. Tennent, "The Denotational Semantics of Programming Languages", Communications of the ACM, August 1976 (available via the ACM Digital Library). This is a very old but readable tutorial on denotational semantics for people interested in learning more about this. It's completely optional and beyond the scope of what we'll cover in class.