Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (Q3522062)

From MaRDI portal
Revision as of 03:03, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
scientific article

    Statements

    title
    Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (English)
    0 references
    author
    Christopher L. Conway
    0 references
    Dennis Dams
    0 references
    Kedar S. Namjoshi
    0 references
    Clark Barrett
    0 references
    publication date
    28 August 2008
    0 references
    describes a project that uses
    CCured
    0 references
    SAFECode
    0 references

    Identifiers

    zbMATH DE Number
    5317376
    0 references
    OpenAlex ID
    W1563015875
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3522062&oldid=32914803"
    Powered by MediaWiki