Verifying Reference Counting Implementations (Q3617768)

From MaRDI portal
Revision as of 22:58, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Verifying Reference Counting Implementations
scientific article

    Statements

    title
    Verifying Reference Counting Implementations (English)
    0 references
    author
    Michael Emmi
    0 references
    Ranjit Jhala
    0 references
    Eddie Kohler
    0 references
    Rupak Majumdar
    0 references
    publication date
    31 March 2009
    0 references
    zbMATH DE Number
    5535645
    0 references
    describes a project that uses
    Spec#
    0 references
    SLAM
    0 references
    BLAST
    0 references
    ESC/Java
    0 references
    Smallfoot
    0 references
    OpenAlex ID
    W1599830632
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3617768&oldid=32079331"
    Powered by MediaWiki