Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957)

From MaRDI portal
Revision as of 18:52, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
scientific article

    Statements

    Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (English)
    0 references
    0 references
    0 references
    15 November 2018
    0 references
    program analysis
    0 references
    abstract interpretation
    0 references
    widening/narrowing
    0 references
    fixpoint approximation
    0 references
    fixpoint improvement
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers