HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Sémantique naturelle: spécifications et preuves

Joëlle Despeyroux 1
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Ce document contient les notes du cours de Sémantique Naturelle donné au DEA de Mathématiques Discrètes et Fondements de l'Informatique (MDFI), à l'université de Marseille, de 1995 à 1997. Nous y présentons la {\it Sémantique Naturelle}, et plus généralement les notions de base nécessaires à la {\it spécification} d'un langage de programmation, ainsi que les différentes techniques de {\it preuves} en Sémantique Naturelle, toutes basées sur l'induction. Un chapitre {\it syntaxe abstraite fonctionnelle} présente cette méthode, plus communément appelée {\it syntaxe abstraite d'ordre supérieur}. Puis le chapitre {\it récursion en syntaxe abstraite fonctionnelle} présente les problèmes de ce domaine et propose différentes solutions, dont un système noyau pour une nouvelle théorie des types.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073330
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:33:34 PM
Last modification on : Friday, February 4, 2022 - 3:16:35 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:42:40 PM

Identifiers

  • HAL Id : inria-00073330, version 1

Collections

Citation

Joëlle Despeyroux. Sémantique naturelle: spécifications et preuves. RR-3359, INRIA. 1998. ⟨inria-00073330⟩

Share

Metrics

Record views

36

Files downloads

719