Sémantique des langages de programmation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 3

Polymorphisme dans Coq: Structures de données et fonctions

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Sémantique opérationnelle : Amyli Language

Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.

Sémantique et vérification des devises

Explore la sémantique, les fonctions récursives, les boucles, la modélisation entrelacée et la vérification de l'interprète.

Synthèse de haut niveau: circuits élastiques formellement vérifiés

Présente le développement d'un compilateur de synthèse de haut niveau vérifié pour les circuits élastiques.

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.

Exemple de sémantique de boucle

Explore la sémantique des boucles, démontrant comment calculer systématiquement la signification d'une boucle while.

Monotonie et sémantique des variables locales

Explore les propriétés des relations, la monotonie, la sémantique des variables locales et la traduction dans les programmes.

Tableaux : Attribution et comparaison

Couvre la sémantique de l'attribution de tableau et de la comparaison en Java.

Expressions régulières : Fondements et applications

Introduit des expressions régulières, couvrant les ensembles de langage, la syntaxe, la sémantique et les limitations.

Atelier Coq: Introduction au théorème interactif

Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.