Grace Hopper: Computer Programming Pioneer

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 1 of 4

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.