15-411 Compiler Design
Lecture 13: Operational Semantics

• Reading: none
• Concepts:
  • Small and large types
  • Small and large values
  • Evaluation order
  • Pointer dereference
  • Struct access
  • Array access
  • Array bounds check
  • Compiling lval's
  • Compiling compound assignments
• Previous lecture: Data Structures
• Next lecture: Compiling to C

[ Home | Schedule | Labs & Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Blackboard | academic.cs.15-411 ]

fp@cs
Frank Pfenning