M4: Static Semantic Analysis

We will begin an introduction into the next phase of the compiler, static semantic analysis. We will also continue our discussion into syntactical analysis by looking over common parsing algorithms.

Pre-recorded Lectures and/or Required Readings

The pre-recorded lectures are available here: M4 Videos. You can also find the videos under the “Panopto” tab on the MPCS 51300 canvas site.

  • 4.1: Introduction to Symbol Tables

  • 4.2: Types and Type Systems

  • 4.3: Semantic Analysis in Cal

The slides for this module will be accessible in the upstream repository and on Canvas right before class.

Supplementary Resources

  • Engineering a Compiler readings:
    • Chapter 4.1 - 4.4

Synchronous Session (In-person)

You will find the links to the Zoom sessions on Canvas. As a reminder here are the dates and times for the synchronous session for this module:

  • Dates/Times
    • Section 1: Wednesday July 12th @ 5:30pm-7:00pm

  • Discussion Outline
    • Introduction to Semantic Analysis

    • Symbol Tables

    • Coding Demo: Implementing Semantic Analysis in Cal [if time permits]


Assignments are always due on Thursday evenings.