The Story of Grace Hopper

Related lectures (32)

Page 1 of 4

Covers computer language processing, compilers, skills learned, and application examples.

Covers translating program fragments, switch statements, and break statements in programming languages.

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.