Automatic Inference of Ranking Functions by Abstract Interpretation

Caterina Urban 1, 2
1 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
2 Abstraction
LIENS - Laboratoire d'informatique de l'école normale supérieure
Type de document :
Autre publication
Student Poster Session, 41st Symposium on Principles of Programming Languages (POPL 2014). 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00925760
Contributeur : Antoine Miné <>
Soumis le : mercredi 8 janvier 2014 - 15:10:35
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-00925760, version 1

Collections

Citation

Caterina Urban. Automatic Inference of Ranking Functions by Abstract Interpretation. Student Poster Session, 41st Symposium on Principles of Programming Languages (POPL 2014). 2014. 〈hal-00925760〉

Partager

Métriques

Consultations de la notice

139