Blaming the client: on data refinement in the presence of pointers (Q607403): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q736796
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Peter W. O'Hearn / rank
 
Normal rank

Revision as of 19:02, 20 February 2024

scientific article
Language Label Description Also known as
English
Blaming the client: on data refinement in the presence of pointers
scientific article

    Statements

    Blaming the client: on data refinement in the presence of pointers (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    22 November 2010
    0 references
    data refinement
    0 references
    separation logic
    0 references
    pointer aliasing
    0 references
    interference
    0 references

    Identifiers