Skip to Main content Skip to Navigation
Other publications

Automatic Inference of Ranking Functions by Abstract Interpretation

Caterina Urban 1, 2 
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
2 Abstraction
LIENS - Laboratoire d'informatique de l'école normale supérieure
Complete list of metadata

https://hal.inria.fr/hal-00925760
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Wednesday, January 8, 2014 - 3:10:35 PM
Last modification on : Thursday, March 17, 2022 - 10:08:47 AM

Identifiers

  • HAL Id : hal-00925760, version 1

Collections

Citation

Caterina Urban. Automatic Inference of Ranking Functions by Abstract Interpretation. 2014. ⟨hal-00925760⟩

Share

Metrics

Record views

105