A minimalistic look at widening operators (Q848744)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A minimalistic look at widening operators
scientific article

    Statements

    A minimalistic look at widening operators (English)
    0 references
    0 references
    5 March 2010
    0 references
    abstract interpretation
    0 references
    widening
    0 references
    termination
    0 references
    abstraction
    0 references
    well-founded tree
    0 references
    higher order
    0 references
    inductive definition
    0 references
    Coq
    0 references
    0 references
    0 references

    Identifiers