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

INRIA | PSL | ENS-PARIS

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

106

Contact


archive-ouverte@inria.fr