Relational Analysis and Precision via Probabilistic Abstract Interpretation
Under a Creative Commons license
open access
Keywords
Probabilistic Semantics
Linear Operators
Probabilistic Abstract Interpretation
Relational Analysis
Cited by (0)
Copyright © 2008 Elsevier B.V.