Experimental evaluation of numerical domains for inferring ranges (Q2130561)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Experimental evaluation of numerical domains for inferring ranges
scientific article

    Statements

    Experimental evaluation of numerical domains for inferring ranges (English)
    0 references
    0 references
    0 references
    25 April 2022
    0 references
    static analysis
    0 references
    abstract interpretation
    0 references
    numerical domains
    0 references
    polyhedra
    0 references
    widening
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers