Two-level semantics and abstract interpretation (Q911319)

From MaRDI portal
Revision as of 15:06, 20 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
Two-level semantics and abstract interpretation
scientific article

    Statements

    title
    Two-level semantics and abstract interpretation (English)
    0 references
    publication date
    1989
    0 references
    Mathematics Subject Classification ID
    68Q55
    0 references
    68Q60
    0 references
    68N99
    0 references
    68N01
    0 references
    68Q45
    0 references
    zbMATH DE Number
    4141534
    0 references
    zbMATH Keywords
    compile-time data types
    0 references
    run-time data types
    0 references
    Scott-Strachey denotational semantics
    0 references
    abstract interpretation theory
    0 references
    author
    Flemming Nielson
    0 references
    OpenAlex ID
    W1981580304
    0 references
    cites work
    Q4152697
    0 references
    Q3657413
    0 references
    Q3785893
    0 references
    Q3761674
    0 references
    Q3922128
    0 references
    Q5639839
    0 references
    Q4133080
    0 references
    Q3709872
    0 references
    Q3664406
    0 references
    Q3713564
    0 references
    Q3718128
    0 references
    Q3709854
    0 references
    Q3709882
    0 references
    Q3718132
    0 references
    Q3713560
    0 references
    Q4430311
    0 references
    Q3713571
    0 references
    Q4072829
    0 references
    Data Types as Lattices
    0 references
    Q3664454
    0 references
    Q3959414
    0 references
    Q4195918
    0 references
    Q3969890
    0 references
    Q3914393
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q911319&oldid=34822010"
    Powered by MediaWiki