Lectures related to Untitled | EPFL Graph Search

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Functional Reactive Programming: Signals and Transformations

Explores functional reactive programming using signals to simplify state changes and event reactions in a more functional and clean approach.

Hoare Logic: Strongest Postcondition and Weakest Precondition

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.

Discrete Event Simulation

Covers discrete event simulation using digital circuits, base components, complex components, and simulation implementation.

Functional Programming: Concepts and History

Explores imperative programming limitations, theories without mutation, functional programming principles, and the history of functional languages.

Introduction to Object-Oriented Programming in Java

Covers the basic concepts of object-oriented programming in Java, emphasizing encapsulation, abstraction, and the importance of organizing complex programs.

Converting Imperative Programs to Formulas

Explores converting imperative programs to formulas, including verification conditions, formula construction, and control flow structures.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Loops: Control Statements and Functions

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Converting Imperative Programs to Formulas

Explores converting imperative programs to formulas for verification, covering assignments, if-else statements, and command semicolons.

Functional Programming Principles

Covers the principles and benefits of functional programming, emphasizing immutable data and functions.

Hoare Logic: Postconditions and Preconditions

Covers Hoare logic, postconditions, preconditions, and program behavior proofs.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Object-Oriented Programming: Error Management and Course Logistics

Outlines the course logistics and objectives for Object-Oriented Programming, focusing on error management and the integration of practical sessions with theoretical learning.

Programming Concepts: Variables and Expressions

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

Safe Mutation in Scala

Explores safe mutation in Scala, emphasizing the management of mutable state and its significance in interactions, modeling, and implementation efficiency.

Understanding Microcontrollers: Programming in C/Arduino

Covers the basics of programming microcontrollers using C language and Arduino platform.

Programming Missions: Starting with the Third Line MOOC: The Thymio robot as a tool for discovering digital science

Discusses translating program lines into French and using sensors to trigger actions.

Introduction to Programming with Python

Introduces Python programming basics, covering data types, operators, variables, functions, and code tracing.