An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614)

From MaRDI portal
scientific article; zbMATH DE number 5259441
Language Label Description Also known as
English
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
scientific article; zbMATH DE number 5259441

    Statements

    An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (English)
    0 references
    0 references
    0 references
    4 April 2008
    0 references
    abstract domains
    0 references
    alias analysis
    0 references
    difference-bound matrices
    0 references
    disequalities
    0 references
    static analysis
    0 references

    Identifiers