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
Intermediate Representations: CPS/L3
Graph Chatbot
Related lectures (32)
Previous
Page 1 of 4
Next
Combinatorial Search: For-Expressions
Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
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.
Values Representation: Tagging and Boxing
Explores improving translation, source context-based translations, and value representation techniques like tagging and boxing.
Geometric Transformations: Translation and Homothety
Explores geometric transformations like translation and homothety in the plane.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Laws of Transformation of Velocities and Accelerations
Covers the laws of transformation of speeds and accelerations, including the rotation of points and dynamic movement principles.
Converting Imperative Programs to Formulas
Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Unitary Operators: Translation and Transformation
Explores unitary operators for translation and transformation in quantum mechanics.
