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

From MaRDI portal
Revision as of 00:05, 6 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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=2885031"
      Powered by MediaWiki