Program and proof optimizations with type systems (Q953533)

From MaRDI portal
Revision as of 19:49, 28 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
Program and proof optimizations with type systems
scientific article

    Statements

    title
    Program and proof optimizations with type systems (English)
    0 references
    author
    Ando Saabas
    0 references
    Tarmo Uustalu
    0 references
    publication date
    6 November 2008
    0 references
    zbMATH DE Number
    5362189
    0 references
    zbMATH Keywords
    data-flow analyses
    0 references
    optimizations
    0 references
    type systems
    0 references
    certification
    0 references
    proof optimization
    0 references
    OpenAlex ID
    W2128433129
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q953533&oldid=35079054"
    Powered by MediaWiki