Approximating the domains of functional and imperative programs (Q1818071)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Approximating the domains of functional and imperative programs
scientific article

    Statements

    Approximating the domains of functional and imperative programs (English)
    0 references
    0 references
    0 references
    4 January 2000
    0 references
    0 references
    automated termination analysis of partial functional programs
    0 references
    0 references