Parameter passing in algebraic specification languages (Q1056226)

From MaRDI portal
Revision as of 10:34, 14 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Parameter passing in algebraic specification languages
scientific article

    Statements

    title
    Parameter passing in algebraic specification languages (English)
    0 references
    author
    Hartmut Ehrig
    0 references
    Hans-Joerg Kreowski
    0 references
    Jesse B. Wright
    0 references
    James W. Thatcher
    0 references
    Eric G. Wagner
    0 references
    publication date
    1984
    0 references
    zbMATH DE Number
    3827187
    0 references
    zbMATH Keywords
    parameterized data types
    0 references
    parameterized specifications
    0 references
    model functor
    0 references
    correctness proofs
    0 references
    semantic
    0 references
    OpenAlex ID
    W2036241569
    0 references
    cites work
    Q3906461
    0 references
    Q4152697
    0 references
    Q3667921
    0 references
    Q3906394
    0 references
    Q5515373
    0 references
    Q4187290
    0 references
    Q3917480
    0 references
    Q3938469
    0 references
    Q5510775
    0 references
    Q3851591
    0 references
    Q4160385
    0 references
    Q5572358
    0 references
    Q4178466
    0 references
    Q3925867
    0 references
    Q5682456
    0 references
    Q3965556
    0 references
    Q4195928
    0 references
    Q3660895
    0 references
    Q3935437
    0 references
    Q5639839
    0 references
    Q3923580
    0 references
    Q3883462
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1056226&oldid=34687629"
    Powered by MediaWiki