The revised report on the syntactic theories of sequential control and state (Q1199538)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The revised report on the syntactic theories of sequential control and state
scientific article

    Statements

    The revised report on the syntactic theories of sequential control and state (English)
    0 references
    0 references
    0 references
    16 January 1993
    0 references
    \(\lambda_ \nu\)-calculus
    0 references
    equational reasoning about imperative programming
    0 references
    0 references
    0 references

    Identifiers