Skip to Main content Skip to Navigation
Conference papers

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

Thomas Genet 1 Timothée Haudebourg 1 Thomas Jensen 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01790916
Contributor : Timothée Haudebourg <>
Submitted on : Monday, May 14, 2018 - 3:10:51 PM
Last modification on : Thursday, January 7, 2021 - 4:19:37 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 9:23:17 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01790916, version 1

Citation

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⟩

Share

Metrics

Record views

1145

Files downloads

216