Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems (Q4170195)

From MaRDI portal
scientific article; zbMATH DE number 3604321
Language Label Description Also known as
English
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
scientific article; zbMATH DE number 3604321

    Statements

    Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems (English)
    0 references
    1979
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references