Passer au contenu principal

Switch to dark mode

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Déplier des fonctions récursives en Inox

À propos
Confidentialité
Mentions légales

Copyright © 2025 EPFL, tous droits réservés

Graph Chatbot

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

https://mediaspace.epfl.ch/media/0_4byxmv9i

À 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.

Dans cours

DEMO: ullamco quis duis

Cupidatat officia eiusmod exercitation reprehenderit mollit irure fugiat proident ad ad culpa eu. Et sint pariatur id ea qui magna excepteur irure sunt sit duis. Esse velit ea excepteur elit. Labore duis anim veniam consectetur nostrud dolor do culpa veniam commodo aliquip Lorem. Anim ipsum consequat dolor proident cillum cillum sint. Dolor elit elit ipsum dolor quis esse amet deserunt. Qui pariatur veniam et nulla fugiat excepteur sint sunt eu.

Séances de cours associées (16)

Programmes de vérification avec l'inox: Partie 2

Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.

Introduction à l'acier inoxydable: Premiers pas avec l'acier inoxydable

Introduit l'outil de vérification Stainless avec des exemples de vérification des propriétés de commutativité et des opérations arithmétiques.

Tutoriel en acier inoxydable: Demo.scala Basics

Couvre les bases de l'écriture et de la vérification du code Scala à l'aide du fichier Demo.scala.

Hoare Logic : Postconditions et Préconditions

Couvre la logique Hoare, les postconditions, les conditions préalables et les preuves de comportement du programme.

Compilateur de vérification: Approche Spec#

Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.

Enseignant

Cupidatat occaecat adipisicing deserunt veniam nostrud ex ad id ipsum. Aliqua enim esse exercitation pariatur. Laborum adipisicing ad non eu laborum officia. In laboris sit id sit tempor id in ut excepteur. Aliqua dolor cillum qui nostrud magna sunt ea. Lorem adipisicing culpa et irure.