Incremental closure for systems of two variables per inequality (Q1733055)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incremental closure for systems of two variables per inequality
scientific article

    Statements

    Incremental closure for systems of two variables per inequality (English)
    0 references
    0 references
    0 references
    0 references
    26 March 2019
    0 references
    abstract interpretation
    0 references
    weakly relational abstract domains
    0 references
    two variables per inequality (TVPI) abstract domain
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references