The clean termination of iterative programs (Q1157152)

From MaRDI portal
Revision as of 05:40, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
The clean termination of iterative programs
scientific article

    Statements

    title
    The clean termination of iterative programs (English)
    0 references
    DOI
    10.1007/BF00261259
    0 references
    author
    Andrzej Blikle
    0 references
    publication date
    1981
    0 references
    zbMATH DE Number
    3737000
    0 references
    zbMATH Keywords
    program-correctness
    0 references
    nondeterministic iterative programs
    0 references
    deterministic iterative programs
    0 references
    structured programs
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1157152&oldid=13223244"
    Powered by MediaWiki