The clean termination of iterative programs (Q1157152)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The clean termination of iterative programs
scientific article

    Statements

    The clean termination of iterative programs (English)
    0 references
    0 references
    1981
    0 references
    program-correctness
    0 references
    nondeterministic iterative programs
    0 references
    deterministic iterative programs
    0 references
    structured programs
    0 references

    Identifiers