Correctness of Compilers: Part 2

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 1 of 4

Prefix, Infix, Postfix and Code Generation

Explores prefix, infix, and postfix notations in expressions and their role in code generation.

Correctness of Compilers: Part 1

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Code Generation Lab

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

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.

WASM Virtual Machine: Group 13

Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Introduction to Computer Language Processing

Covers computer language processing, compilers, skills learned, and application examples.

Compiling Expressions

Covers the conversion of expressions, evaluation using stack machines, and bytecode generation.

VLIW Architectures: Compilers and Instruction Level Parallelism

Covers VLIW architectures and compilers, focusing on instruction level parallelism and optimization techniques.

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.