On Programming by Iterations (Q3314955)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Programming by Iterations
scientific article

    Statements

    title
    On Programming by Iterations (English)
    0 references
    publication date
    1984
    0 references
    zbMATH DE Number
    3845013
    0 references
    zbMATH Keywords
    loop invariants
    0 references
    problem solving
    0 references
    program derivation
    0 references
    Iterative computations
    0 references
    OpenAlex ID
    W2087541082
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3314955&oldid=36887635"
    Powered by MediaWiki