Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054)

From MaRDI portal
Revision as of 09:22, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Formal verification of a C-like memory model and its uses for verifying program transformations
scientific article

    Statements

    Formal verification of a C-like memory model and its uses for verifying program transformations (English)
    0 references
    0 references
    0 references
    10 September 2008
    0 references
    memory model
    0 references
    C
    0 references
    program verification
    0 references
    compilation
    0 references
    compiler correctness
    0 references
    Coq proof assistant
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references