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
Concept
Compiler
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
C Backend: Compiler Structure and Abstract Data Types
Explores the structure of a C backend compiler and abstract data types.
Intermediate Representations: CPS/L3
Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.
Legacy Code Evolution
Covers benchmark design, caching, latency, bugs, Excel leap year, refactoring, and legacy code evolution.
Compilers: Challenges with Digital Signal Processors
Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.
Foreign-function interface to JavaScript
Covers the implementation of a foreign-function interface to JavaScript in Scala, focusing on features like opening and reading files.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
MLIR: Compiler Infrastructure
Covers MLIR, a compiler infrastructure for domain-specific computation, emphasizing the importance of multiple abstraction levels and higher-level semantics.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
