Cross compiler

Applied sciences
Computer engineering
Computer programming
Topics in computer programming

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 2 of 4

Correctness of Compilers: Part 1

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

Computer Architecture: Machine Language

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

Intermediate Representations: CPS/L3

Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.

The Story of Grace Hopper

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

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.

Formal Verification and Program Synthesis

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

Default Constructors in C++

Covers default constructors in C++, including examples and implications of specifying constructors in C++11.

Copy Constructor in C++

Covers the copy constructor in C++, its generation, initialization, and suppression in C++11.

Compiling with Branch Destination Parameters

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

Exploring ASEBA Studio

Introduces ASEBA Studio, a window for writing programs and managing code for robots.