Lectures related to Call stack

Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.

Covers examples of code generation and introduces WebAssembly (WA) bytecode and stack machine operation.

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

Analyzes the compiler output of a C program and compares it with Java byte code.

Explains pointer arithmetic in C, focusing on memory manipulation and common pitfalls.