Flow analysis of lazy higher-order functional programs (Q879358)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Flow analysis of lazy higher-order functional programs
scientific article

    Statements

    Flow analysis of lazy higher-order functional programs (English)
    0 references
    0 references
    11 May 2007
    0 references
    0 references
    0 references
    0 references
    0 references
    collecting semantics
    0 references
    higher-order program
    0 references
    program flow analysis
    0 references
    lazy evaluation
    0 references
    Reynolds analysis of applicative LISP programs
    0 references
    term rewriting system
    0 references
    tree grammar
    0 references
    0 references
    0 references
    0 references