Compiler optimization correctness by temporal logic (Q1768477)

From MaRDI portal
Revision as of 07:30, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Compiler optimization correctness by temporal logic
scientific article

    Statements

    title
    Compiler optimization correctness by temporal logic (English)
    0 references
    author
    David Lacey
    0 references
    Neil D. Jones
    0 references
    Eric Van Wyk
    0 references
    publication date
    15 March 2005
    0 references
    zbMATH Keywords
    compiler verification
    0 references
    optimizing compilers
    0 references
    temporal logic
    0 references
    model checking
    0 references

    Identifiers

    zbMATH DE Number
    2145980
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1768477&oldid=14111104"
    Powered by MediaWiki