Concept
Call stack
Related lectures (46)
WASM Virtual Machine: Group 13
Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.
Python Programming: Control Structures and Functions
Covers advanced topics in Python programming, focusing on control structures and functions.
Pointers: Basics and Applications
Covers the basics of pointers in C, including memory management, structures, functions, and arrays.
Memory Management & Crash Programs
Covers memory management for engineers, focusing on crash programs related to memory access errors.
Synthesis of Safe Pointer-Manipulating Programs
Introduces SuSLik, a program synthesizer generating safe low-level programs from logical specifications, showcasing its capabilities in handling linked data structures.
Microcontrollers: Assembly Duality
Explores assembly duality in microcontrollers, covering bit operations, masking techniques, macros, subroutines, and stack management.
Register Machine
Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Binary Search Algorithm
Explains the binary search algorithm using two pointers to efficiently search a sorted list.
Register Allocation: Tail Calls
Covers register allocation techniques, including interference graph examples, coloring, spilling, and coalescing.