Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Liskov substitution principle
Formal sciences
Theoretical computer science
Programming language theory
Topics in programming langu...
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 4
Next
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.
