Strictness analysis via abstract interpretation for recursively defined types (Q1193597)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strictness analysis via abstract interpretation for recursively defined types
scientific article

    Statements

    Strictness analysis via abstract interpretation for recursively defined types (English)
    0 references
    27 September 1992
    0 references
    0 references
    0 references
    0 references
    0 references
    analysis of lazy
    0 references
    functional programs
    0 references
    static analysis of programs
    0 references
    type verification
    0 references
    program correctness
    0 references
    termination
    0 references