Séance de cours
Analyse de terminaison à l'aide de paires de dépendances
Séances de cours associées (73)
Résolution des contraintes de type
Explique le processus de résolution des contraintes de type en utilisant l'algorithme d'unification et la généralisation de l'inférence de type flexible.
Programmation fonctionnelle : concepts et histoire
Explore les limites impératives de la programmation, les théories sans mutation, les principes de programmation fonctionnelle et l'histoire des langages fonctionnels.
Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique
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.
Principes de programmation fonctionnelle
Couvre les principes et les avantages de la programmation fonctionnelle, en mettant l'accent sur les données et les fonctions immuables.
Méthodologie : Construire une méthodeMOOC: Initiation à la Programmation en Java
Couvre la méthodologie pour construire une méthode en Java.
Définitions de la valeur et conditions
Couvre les expressions conditionnelles et booléennes, les règles de réécriture et les définitions de valeurs.
Une introduction à l'iris: logique de séparation simultanée d'ordre supérieur
Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.
Introduction aux variables JavaMOOC: Initiation à la Programmation en Java
Couvre les variables Java, y compris la déclaration, l'initialisation, les affectations et les constantes, mettant en évidence les conventions de nommage et les affectations dynamiques.
Fondements du logiciel: Modélisation des langages de programmation
Couvre l'étude mathématique des comportements de programme, l'analyse, les langages spécifiques à un domaine et les outils puissants de conception de langage.
Introduction au codage : représentation du code binaire et transistorsMOOC: Humanitarian Action in the Digital Age
Couvre la représentation du code binaire et l'importance des langages de programmation pour différentes tâches.