Correctness of Compilers: Part 2

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 3 of 4

The Story of Grace Hopper

Delves into binary language and Grace Hopper's contributions to programming.

Optimization and Templates

Explores optimization in C++ code, algorithmic ideas, code profiling, and template meta-programming.

Operator Overloading in C++

Explores operator overloading in C++, emphasizing class manipulation and code compilation.

Compiling with Branch Destination Parameters

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

Formal Verification and Program Synthesis

Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.

Translation of for

Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.

Computer Architecture: Machine Language

Explores the implementation of machine language and the role of compilers.

Lazy Evaluation

Explores lazy evaluation in functional programming, focusing on Scala's implementation of lazy lists.

Functional Decomposition: Pattern Matching

Covers functional decomposition with pattern matching in Scala to access heterogeneous data in a class hierarchy.

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.