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
Grace Hopper: Computer Programming Pioneer
Graph Chatbot
Related lectures (32)
Previous
Page 1 of 4
Next
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Introduction to Compiler Theory and Language Processing
Introduces compiler theory, language processing, and the essential concepts behind building compilers.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
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.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
The CEPA and the Bug
Explores the CEPA, compilers, and the origin of the term 'bug' in computing.
Virtual Machines: Memory Management and Control Flow
Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.