Program algebra for component code (Q1586164)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Program algebra for component code
scientific article

    Statements

    title
    Program algebra for component code (English)
    0 references
    DOI
    10.1007/PL00003928
    0 references
    author
    M. E. Loots
    0 references
    Jan A. Bergstra
    0 references
    publication date
    14 November 2000
    0 references
    zbMATH DE Number
    1530332
    0 references
    zbMATH Keywords
    projection semantics
    0 references
    imperative sequential programming
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1586164&oldid=26362570"
    Powered by MediaWiki