Séance de cours

Déplier des fonctions récursives en Inox

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Séances de cours associées (32)

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.

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.

Exactitude des compilateurs: Partie 2

Explore l'exactitude des compilateurs, en mettant l'accent sur l'évaluation des expressions, la compilation bytecode et les opérations de pile.

Opérations sur les arbres de recherche binaires

Explique les opérations d'arbre de recherche binaire, en se concentrant sur l'insertion, la recherche et la conversion de liste, en mettant l'accent sur la vérification formelle et le débogage.

Tutoriel en acier inoxydable: Vérification du code Scala

Couvre l'utilisation de Stainless, un outil de vérification pour Scala, pour assurer l'exactitude du code Scala.

Tutoriel du système de vérification inoxydable

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.

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.

Laboratoire de vérification de type

Se concentre sur la mise en œuvre d'un vérificateur de type pour Amy, couvrant l'analyse des noms et des types, la génération de contraintes de frappe et l'importance de la vérification de type dans la compilation.

Ingénierie pratique 1: Traitement du signal

Explore des sujets avancés d'ingénierie logicielle et de traitement du signal en utilisant des listes paresseuses pour construire un synthétiseur sonore à partir de zéro.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

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.

Recherche combinatoire: Pour-Expressions

Explore l'utilisation de for-expressions dans Scala pour simplifier les calculs et résoudre des problèmes comme la recherche combinatoire et N-Queens.

Algorithme de Karplus-Strong : Simulation de cordes métalliques

Explique l'algorithme Karplus-Strong pour simuler des sons de cordes métalliques en utilisant des boucles de bruit et de rétroaction aléatoires.

Premiers pas avec Stainless

Introduit Stainless, un vérificateur pour Scala, mettant l'accent sur la prévention des bugs et l'accès à la bibliothèque.

Fonctions : Python Basics

Couvre les bases des fonctions de Python, y compris leur définition, leur but et leur utilisation.

Monads: Concepts et applications

Explore les monades, leurs lois, la mise en œuvre de Scala et les applications pratiques dans la programmation fonctionnelle.

Exemple de distributeur de système fini

Explore un système de distributeur de collations avec plusieurs niveaux et emplacements, analysant son système de transition et sa capacité de stockage stable.

Variance et recherche combinée

Couvre le sous-typage, les génériques, la variance, les limites de type, la covariance, la contravariance et la recherche combinatoire.

Cartes: Associations Key-Value

Couvre les cartes en tant que structures de données clés-valeurs, y compris l'interrogation, la mise à jour et la gestion des valeurs manquantes, avec des exemples pratiques tels que la représentation polynomiale.