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 Access content directly
Conference Papers Year : 2018

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
paper.pdf (118.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01790916 , version 1

Cite

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⟩
110 View
91 Download

Share

Gmail Facebook Twitter LinkedIn More