First Steps with Stainless

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Page 1 of 3

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

Abstract Data Structures in C++

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

Programming Paradigms: Functional, OOP, Polymorphism

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

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

Object-Oriented Programming Fundamentals

Covers the basics of object-oriented programming in Python, including objects, classes, inheritance, and input/output handling.

Object-Oriented Programming: Polymorphism and Pointers

Explores object-oriented programming concepts like polymorphism and pointers in C++.

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.

Object Oriented Programming in C++: Introduction and Encapsulation

Covers the basics of object-oriented programming in C++, including encapsulation and complex number representation.

Functions and state

Explores functions, state, rewriting, and stateful objects in programming.

Constructors & Destructors

Explores object-oriented programming concepts in C++ focusing on constructors, destructors, initialization lists, and constructor design in Cartesian and polar coordinates.