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
Cross compiler
Applied sciences
Computer engineering
Computer programming
Topics in computer programming
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Optimization and Templates
Explores optimization in C++ code, algorithmic ideas, code profiling, and template meta-programming.
Introduction to Compiler Theory and Language Processing
Introduces compiler theory, language processing, and the essential concepts behind building compilers.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Static Analysis for Amy: Techniques and Implementations
Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.
Debugging Tutorial: Exercises
Introduces debugging basics and exercises to identify and fix common programming errors.
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.
Compiler Overview: Code Generation Example
Analyzes the compiler output of a C program and compares it with Java byte code.
Operator Overloading in C++
Explores operator overloading in C++, emphasizing class manipulation and code compilation.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
Untitled