Proving pointer programs in higher-order logic (Q2486585)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proving pointer programs in higher-order logic
scientific article

    Statements

    Proving pointer programs in higher-order logic (English)
    0 references
    0 references
    0 references
    5 August 2005
    0 references
    0 references
    0 references
    0 references
    0 references
    Pointer programs
    0 references
    Verification
    0 references
    Hoare logic
    0 references
    Higher-order logic
    0 references
    Schorr-Waite algorithm
    0 references
    0 references
    0 references
    0 references
    0 references