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
Grace Hopper: Computer Programming Pioneer
Graph Chatbot
Related lectures (32)
Previous
Page 2 of 4
Next
Compilation and C++ Basics
Covers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.
VLIW Architectures: Compilers and Instruction Level Parallelism
Covers VLIW architectures and compilers, focusing on instruction level parallelism and optimization techniques.
Compilers: Challenges with Digital Signal Processors
Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Introduction to Programming: First Steps
Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.
Intermediate Representations: CPS/L3
Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.
Introduction to Coq: Arithmetic Expressions and Evaluators
Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
The Story of Ada Lovelace
Explores the life of Ada Lovelace, the world's first programmer, and her vision for computer programming.
Ecoles Vaudoises: Programme d'activités 'PLUS'
Introduces the new program 'PLUS' for Vaud school students, offering diverse workshops.