CS 336: Principles of Programming Languages

Instructor: Weihao Qu • Monmouth University • Spring 2026

OCaml programming and static analysis: functional programming foundations, abstract syntax trees, abstract interpretation, lattice theory, and security analysis.

Explained Step-by-step conceptual walkthrough Enhanced Interactive with animations & exercises

Programming Foundations

Warmup

Enhanced

OCaml

Explained Enhanced

Foundations

Explained Enhanced

Syntax & Parsing

Abstract Syntax Trees

Explained Enhanced

Static Analysis

Explained Enhanced

Abstract Interpretation

Explained Enhanced

Abstract Domains

Enhanced

Lattice Theory

Enhanced

CFG Reachability

Enhanced

Worklist Algorithms

Enhanced

Applications

Security Analysis

Explained Enhanced

Tools & Integration

Explained Enhanced