Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Virtual Machines: Memory Management and Control Flow
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Pointers and Functions: Understanding Type Reading
Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.
Interpreters and Virtual Machines
Explores interpreters, virtual machines, optimization techniques, and memory management in programming languages.
Semantics in Computer Language Processing: Understanding Meaning
Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
Introduction to Types and Inductive Relations
Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.
MIPS Functions and Stack
Explains MIPS functions, stack usage, calling convention, and register management.
Efficiently Implementing a Language in GraalVM
Explores efficiently implementing a new programming language in GraalVM using partial evaluation and memory access profiling.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
