15312 Foundations Of Programming Languages _top_ May 2026

Course Title: 15312 Foundations of Programming Languages

2. Abstraction

• Abstraction enables programmers to focus on essential features and hide irrelevant details.

Mathematical Rigor: Students use formal techniques like structural induction and inference rules to prove properties like Type Safety, ensuring that well-typed programs do not exhibit undefined behavior. 15312 foundations of programming languages

Continuations and Control: Exploring complex control flow mechanisms such as recursion, exceptions, and function invocation. Practical Implementation 15-312: Foundations of Programming Languages (Fall 2023) Mathematical Rigor : Students use formal techniques like

• Structural Operational Semantics (SOS): Defines transition rules (small-step). For example: If e1 steps to e1', then e1 + e2 steps to e1' + e2.
• Natural Semantics (Big-step): Defines evaluation predicates. e ⇓ v means "expression e evaluates to value v in one giant leap."