Fiche du document
28 février 2023
Ce document est lié à :
info:eu-repo/semantics/reference/issn/0069-5580
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2109-9227
All rights reserved , info:eu-repo/semantics/openAccess
Mots-clés
informatique logiciel langages sémantique types logique démonstration vérification méthodes formellesSujets proches
Logical semantics Unified science Semeiotics Significs Intension (Philosophy) Semantics (Logic) Syntactics Semántica (Lógica) SGBD Progiciel Software Système de gestion de bases de données Sémantique philosophique Sémantique formelle Sémantique (logique) Sémantique logiqueCiter ce document
Xavier Leroy, « Sciences du logiciel », Annuaire du Collège de France, ID : 10.4000/annuaire-cdf.18052
Métriques
Partage / Export
Résumé
Cours – Sémantiques mécanisées : quand la machine raisonne sur ses langages « Que fait ce programme, au juste ? » Pour répondre à cette question avec la précision des mathématiques, il nous faut une sémantique formelle du langage dans lequel ce programme est écrit. Plusieurs approches de la sémantique formelle sont bien maîtrisées aujourd’hui : sémantiques dénotationnelles, qui interprètent le programme comme un élément d’une structure mathématique ; sémantiques opérationnelles, qui décrivent...