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
Name Analysis
Graph Chatbot
Related lectures (5)
Previous
Page 1 of 1
Next
Name Analysis: Compiler Phases and Symbol Tables
Explores compiler phases and symbol tables' role in mapping variables to declarations.
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.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Software Security: Security Testing - Sanitizers
Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.
