Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Explore les concepts de programmation orientée objet en C++ en se concentrant sur les constructeurs, les destructeurs, les listes d'initialisation et la conception des constructeurs en coordonnées cartésiennes et polaires.
