Vérifier des fonctions d'ordre supérieur à l'aide d'automates d'arbre - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Vérifier des fonctions d'ordre supérieur à l'aide d'automates d'arbre

Résumé

Les fonctions d'ordre supérieur font partie intégrante des langages de program-mation modernes comme Haskell, Caml, mais aussi Java, Scala ou même JavaS-cript. Là où leur utilité n'est plus à démontrer, leur utilisation pose problème dès lors qu'il s'agit de prouver la correction des programmes qui les utilisent. Dans ce travail, nous proposons une méthode de vérification basée sur les systèmes de réécriture de termes et les automates d'arbre.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
paper.pdf (118.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01790916 , version 1 (14-05-2018)

Identifiants

  • HAL Id : hal-01790916 , version 1

Citer

Thomas Genet, Timothée Haudebourg, Thomas Jensen. Vérifier des fonctions d'ordre supérieur à l'aide d'automates d'arbre. 17èmes Journées AFADL 2018 - Approches Formelles dans l'Assistance au Développement de Logiciels, May 2018, Grenoble, France. pp.1-3. ⟨hal-01790916⟩
112 Consultations
97 Téléchargements

Partager

Gmail Facebook X LinkedIn More