Relational Analysis and Precision via Probabilistic Abstract Interpretation (Q5415662)
From MaRDI portal
scientific article; zbMATH DE number 6294881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational Analysis and Precision via Probabilistic Abstract Interpretation |
scientific article; zbMATH DE number 6294881 |
Statements
Relational Analysis and Precision via Probabilistic Abstract Interpretation (English)
0 references
13 May 2014
0 references
probabilistic semantics
0 references
linear operators
0 references
probabilistic abstract interpretation
0 references
relational analysis
0 references
0 references
