M5: Static Semantic Analysis and Intermediate Representations

This fourth module begins our explanation into semantic analysis by looking over requirements for semantic analysis. We will begin an introduction into the various intermediate representations of a compiler.

Pre-recorded Lectures and/or Required Readings

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

The lectures are a series of approx 20-30 minute videos divided into 4 sections:

The slides/code presented in these videos are accessible in the upstream repository under the m4/resources and m5/resources directories. Please reach out to me if you do not have access to this repository.

Supplementary Resources

  • Engineering a Compiler readings:

    • Chapter 4.1 - 4.4

    • Chapter 5.1 - 5.5

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: Tuesday January 31st @ 5:30pm-7:20pm

  • Discussion Outline

    • Introduction to Semantic analysis

    • Coding demo: Cal semantic analysis

    • Introduction to intermediate representations (video)

Assignment

Assignments are always due on Friday evenings.