Automatic Inference of Ranking Functions by Abstract Interpretation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2014

Automatic Inference of Ranking Functions by Abstract Interpretation

No file

Dates and versions

hal-00925760 , version 1 (08-01-2014)

Identifiers

  • HAL Id : hal-00925760 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More