Inferring complete initialization of arrays (Q383356)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inferring complete initialization of arrays
scientific article

    Statements

    Inferring complete initialization of arrays (English)
    0 references
    0 references
    0 references
    4 December 2013
    0 references
    static analysis
    0 references
    array initialization
    0 references
    abstract interpretation
    0 references
    finite-state automata
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers