Séance de cours
Déplier des fonctions récursives en Inox
Description
Cette séance de cours couvre le concept de déploiement des fonctions récursives à l'aide de l'outil Stainless, en se concentrant sur des exemples tels que les fonctions de puissance et de plus, ainsi que leurs propriétés et postconditions.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.