Lecture
Correctness of Compilers: Part 2
Related lectures (43)
Compilation and C++ Basics
Covers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.
Pointers and Memory Management
Covers pointers in C++, memory addresses, dynamic allocation, arrays, and memory management techniques.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Context Passing: Execution Contexts
Covers context passing vs type classes, execution contexts, tamper-proofing, and the importance of specificity in Scala.
Intermediate Representations: CPS/L3
Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.
Compiling Expressions
Covers the conversion of expressions, evaluation using stack machines, and bytecode generation.
Functional Decomposition: Pattern Matching
Covers functional decomposition with pattern matching in Scala to access heterogeneous data in a class hierarchy.
Grace Hopper: Computer Programming PioneerMOOC: Thymio: un robot pour se former à l'informatique
Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.
Concurrency Semantics and Verification
Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.
Formal Verification and Program Synthesis
Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.