Lecture
Name Analysis
Related lectures (26)
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Name Analysis: Compiler Phases and Symbol Tables
Explores compiler phases and symbol tables' role in mapping variables to declarations.
C Backend: Compiler Structure and Abstract Data Types
Explores the structure of a C backend compiler and abstract data types.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
Crypto Wallet for DeFi: MetaMask
Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Translation of for
Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.