Compile time

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (11)

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Concurrency and transactional memory in Dafny

Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Name Analysis

Explains compiler phases, name analysis, symbol tables, and scoping rules in the context of error detection and resolution.

Name Analysis: Compiler Phases and Symbol Tables

Explores compiler phases and symbol tables' role in mapping variables to declarations.

Software Security: Security Testing - Sanitizers

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

Compiling with Branch Destination Parameters

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

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.

Prefix, Infix, Postfix and Code Generation

Explores prefix, infix, and postfix notations in expressions and their role in code generation.

Crypto Wallet for DeFi: MetaMask

Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.

Compilation: Code Generation and Performance Optimization

Explores code generation, performance optimization, and compilation trade-offs in DBMS.

Page 1 of 1