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