Reasoning about procedures as parameters in the language L4 (Q583874)

From MaRDI portal
Revision as of 18:26, 1 July 2023 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Reasoning about procedures as parameters in the language L4
scientific article

    Statements

    Reasoning about procedures as parameters in the language L4 (English)
    0 references
    0 references
    0 references
    0 references
    1989
    0 references
    completeness
    0 references
    reasoning about programs
    0 references
    language L4
    0 references
    axiom system
    0 references
    partial correctness assertions
    0 references
    Algol-like language
    0 references
    procedures passed as parameters
    0 references
    expressiveness
    0 references

    Identifiers