Concept
Stack (abstract data type)
Related lectures (33)
WASM Virtual Machine: Group 13
Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.
Reslicing: Analyzing 3D DataMOOC: Image Processing and Analysis for Life Scientists
Covers reslicing, a method to convert 3D datasets into 2D images by extracting intensity values along a line, and its applications in analyzing moving objects and spatial relationships.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Register Machine
Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Memory Management: Crash Reasons and Solutions
Delves into the reasons behind program crashes related to memory management.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
Memory Management & Crash Programs
Covers memory management for engineers, focusing on crash programs related to memory access errors.
Concurrent Stack: Implementation
Explores the implementation of a concurrent stack data structure and how push and pop operations work concurrently.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Compiler Overview: Code Generation Example
Analyzes the compiler output of a C program and compares it with Java byte code.