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
    0 references
    0 references
    0 references
    13 May 2014
    0 references
    probabilistic semantics
    0 references
    linear operators
    0 references
    probabilistic abstract interpretation
    0 references
    relational analysis
    0 references

    Identifiers