Lecture
Records and Variants
Related lectures (70)
The Story of Grace HopperMOOC: Die digitale Welt mit dem Thymio Roboter entdecken
Delves into binary language and Grace Hopper's contributions to programming.
Turbulence: Numerical Flow Simulation
Explores turbulence characteristics, simulation methods, and modeling challenges, providing guidelines for choosing and validating turbulence models.
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Introduction to Types and Inductive Relations
Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.
Language Theory into Practice
Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.
Compiling with Branch Destination Parameters
Covers translating program fragments, switch statements, and break statements in programming languages.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
Advanced C Data Types
Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.
MATLAB: Crash Course in MATLAB
Offers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.