Concept

Liskov substitution principle

Related lectures (32)

Subtyping and Generics

Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.

Subtyping and Polymorphism

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Variance and Combinatorial Search

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Taming Null References

Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.

Unfolding recursive functions in Stainless

Covers the concept of unfolding recursive functions using the Stainless tool.

Introduction to Stainless: First Steps with Stainless

Introduces the Stainless verification tool with examples of verifying commutativity properties and arithmetic operations.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

Subtyping and Generics: Variance and Covariance

Explores subtyping, generics, variance, and covariance in Scala, along with collections, arrays, and combinatorial search.

Python Programming: Immutable and Mutable Objects

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.

Variance: Definition and Typing Rules

Explains variance relationships, typing rules for functions, and variance checks in Scala.

Python Programming Basics

Introduces Python programming basics, covering loops, functions, lists, and conditions for code execution.

Generics and Subtyping

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.

Python: Dictionaries and Tuples

Explores dictionaries, tuples, mutable objects, and variable-length arguments in Python.

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Mutable and Immutable Objects

Explains the differences between mutable and immutable objects in Python and covers native container types.

Object-Oriented Programming: Core Features Analysis

Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.

Stainless Tutorial: Demo.scala Basics

Covers the basics of writing and verifying Scala code using the Demo.scala file.

Object Copying and Encapsulation

Explores object copying, encapsulation, and the importance of defensive copying in Java.

Hoare Logic: Postconditions and Preconditions

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