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
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
Complete list of metadata

https://hal.inria.fr/hal-00925760
Contributor : Antoine Miné <>
Submitted on : Wednesday, January 8, 2014 - 3:10:35 PM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM

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

196