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]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...