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
Introduction to Computer Language Processing
Graph Chatbot
Related lectures (32)
Previous
Page 1 of 4
Next
Introduction to Compiler Theory and Language Processing
Introduces compiler theory, language processing, and the essential concepts behind building compilers.
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Foundations of Software: Modeling Programming Languages
Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.
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.
Termination Analysis using Dependency Pairs
Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.
Compilers: Challenges with Digital Signal Processors
Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.