The quotient of an abstract interpretation (Q1128983)

From MaRDI portal
Revision as of 04:24, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
The quotient of an abstract interpretation
scientific article

    Statements

    title
    The quotient of an abstract interpretation (English)
    0 references
    author
    Agostino Cortesi
    0 references
    Gilberto File
    0 references
    William Winsborough
    0 references
    publication date
    13 August 1998
    0 references
    zbMATH DE Number
    1190139
    0 references
    zbMATH Keywords
    data flow
    0 references
    Prolog programs
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1128983&oldid=13180874"
    Powered by MediaWiki