Login / Signup
Relational Analysis and Precision via Probabilistic Abstract Interpretation.
Alessandra Di Pierro
Pascal Sotin
Herbert Wiklicky
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
abstract interpretation
static analysis
fine grained