Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Evaluation strategies and termination

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

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.

Safe Mutation in Scala

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

Termination Analysis using Dependency Pairs

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

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Programming Models: Overview and Examples Log in to Mediaspace to watch this video

Explores programming models for big data processing, including Spark's RDDs and optimizations.

Numerics for Fluids, Structures and Electromagnetics: Projects Rules Log in to Mediaspace to watch this video

Students in 'Numerics for Fluids, Structures and Electromagnetics' must complete projects individually or in pairs, following specific rules and evaluation criteria.

Functional Reactive Programming Log in to Mediaspace to watch this video

Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.

Lazy Evaluation: Introduction and Examples Log in to Mediaspace to watch this video

Covers lazy evaluation, memoization, interpreter implementation, code generation challenges, and potential extensions.

Big-step semantics: Defining arithmetic expressions and commands Log in to Mediaspace to watch this video

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Page 2 of 2