Automatic programming

Related lectures (11)

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

Explores the structure of a C backend compiler and abstract data types.

Covers the implementation of a foreign-function interface to JavaScript in Scala, focusing on features like opening and reading files.

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

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

Covers multithreading, code generation, and type checking in compiler implementation.

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

Analyzes the compiler output of a C program and compares it with Java byte code.

Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.

Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Page 1 of 1