Refinement types as higher order dependency pairs

Cody Roux 1
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : nous modifions l'approche classique de la terminaison a base de tailles et montrons que le systeme modifie permet une analyse fine du flot de controle dans un langage d'ordre superieur. Ceci nous permet de construire un graphe, dit graphe de dépendance approxime, et nous pouvons montrer qu'un critere syntaxique sur ce graphe suffit a montrer la terminaison de tout terme bien type.
Type de document :
Communication dans un congrès
222nd International Conference on Rewriting Techniques and Applications : RTA'11, May 2011, Novi Sad, Serbia. LIPics, 10 (22), pp.299-312, 2011, 22nd International Conference on Rewriting Techniques and Applications
Liste complète des métadonnées

https://hal.inria.fr/inria-00598567
Contributeur : Cody Roux <>
Soumis le : lundi 6 juin 2011 - 19:03:30
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 23:50:56

Fichiers

roux_ref_dp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00598567, version 1

Collections

Citation

Cody Roux. Refinement types as higher order dependency pairs. 222nd International Conference on Rewriting Techniques and Applications : RTA'11, May 2011, Novi Sad, Serbia. LIPics, 10 (22), pp.299-312, 2011, 22nd International Conference on Rewriting Techniques and Applications. 〈inria-00598567〉

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

96