Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Introduction to Compiler Theory and Language Processing
Graph Chatbot
Related lectures (36)
Introduction to Computer Language Processing
Covers computer language processing, compilers, skills learned, and application examples.
Termination Analysis using Dependency Pairs
Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.
C++ Standard Library: Containers and Algorithms
Covers the basics of C++ standard library containers, algorithms, and iterators.
Virtual Machines: Memory Management and Control Flow
Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.
Prefix, Infix, Postfix and Code Generation
Explores prefix, infix, and postfix notations in expressions and their role in code generation.
Scientific Computing Essentials
Covers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.
Programming Concepts: Variables and Expressions
Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.
Introduction to Algorithms
Explores the ingredients and selection of algorithms for different goals.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Introduction to Algorithms: Course Overview and Basics
Introduces the CS-250 Algorithms course, covering its structure, objectives, and key topics in algorithmic problem-solving.
Event and Sequential Programming
MOOC: The Thymio robot as a tool for discovering digital science
Covers the differences between event programming and sequential programming.
Functional Programming: Concepts and Implementation
Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.
C++ Project Organization: Object-Oriented Programming
Introduces the C++ POP course objectives, focusing on project development and object-oriented programming techniques.
The Story of Grace Hopper
MOOC: The Thymio robot as a tool for discovering digital science
Delves into binary language and Grace Hopper's contributions to programming.
Introduction to Jupyter Exercises
Introduces Jupyter exercises on Differential Privacy, covering random generators, understanding data intrusion impact, and practical applications.
Dynamic Arrays in C++: Features and Performance
Covers the implementation and manipulation of dynamic arrays in C++ using vectors, focusing on their features and performance implications.
Strings in C: Initialization and Memory Management
Log in to Mediaspace to watch this video
Covers the representation and management of strings in C, highlighting key differences from other programming languages.
Effective Altruism: AI Safety and Governance
Log in to Mediaspace to watch this video
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Dynamic Memory Management: Using Realloc in C
Log in to Mediaspace to watch this video
Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.
Introduction to Programming: First Steps
Log in to Mediaspace to watch this video
Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.
Previous
Page 1 of 2
Next