Lecture
Intermediate Representations: CPS/L3
Related lectures (36)
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.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
Translations and Homotheties
Covers translations, homotheties, and their analytical expressions, emphasizing stability by composition.
Symmetry in Modern Geometry
Delves into modern geometry, covering transformations, isometries, and symmetries.
Conformal Transformations: Theory and Applications
Explores the theory and applications of conformal transformations, covering special conformal transformations and isomorphic transformations.
Memory Management: Part I
Covers memory management concepts such as block headers, external fragmentation, reference counting, and mark & sweep garbage collection.
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.
Model Interpretation and Compilation
Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
Lie Groups: Representations and Transformations
Explores Lie groups, scalar fields, and vector spaces transformations.