Consistent and complementary formal theories of the semantics of programming languages (Q2561836)

From MaRDI portal
Revision as of 06:36, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Consistent and complementary formal theories of the semantics of programming languages
scientific article

    Statements

    title
    Consistent and complementary formal theories of the semantics of programming languages (English)
    0 references
    author
    C. A. R. Hoare
    0 references
    Peter E. Lauer
    0 references
    publication date
    1974
    0 references

    Identifiers

    zbMATH DE Number
    3416950
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2561836&oldid=15315922"
    Powered by MediaWiki