Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Transformation of structure-shy programs with application to XPath queries and strategic functions
scientific article

    Statements

    Transformation of structure-shy programs with application to XPath queries and strategic functions (English)
    0 references
    0 references
    0 references
    4 May 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    algebraic program transformation
    0 references
    strategic functional programming
    0 references
    XML query languages
    0 references
    point-free program calculation
    0 references
    type specialization
    0 references
    type generalization
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references