FuncTion: An Abstract Domain Functor for Termination

Caterina Urban 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Type de document :
Communication dans un congrès
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, Londres, United Kingdom. Springer, pp.3, Lecture Notes in Computer Science. 〈http://www.etaps.org/2015/tacas〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01107419
Contributeur : Antoine Miné <>
Soumis le : mardi 20 janvier 2015 - 16:28:53
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Identifiants

  • HAL Id : hal-01107419, version 1

Collections

Citation

Caterina Urban. FuncTion: An Abstract Domain Functor for Termination. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, Londres, United Kingdom. Springer, pp.3, Lecture Notes in Computer Science. 〈http://www.etaps.org/2015/tacas〉. 〈hal-01107419〉

Partager

Métriques

Consultations de la notice

113