A Step-Indexed Kripke Model of Separation Logic for Storable Locks

Alexandre Buisse, Lars Birkedal, Kristian Støvring

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	276
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2011.09.018
Publication status	Published - 2011

Access to Document

@inproceedings{f3d198ce1a434644bae76650a39a4307,

title = "A Step-Indexed Kripke Model of Separation Logic for Storable Locks",

author = "Alexandre Buisse and Lars Birkedal and Kristian St{\o}vring",

year = "2011",

doi = "10.1016/j.entcs.2011.09.018",

language = "English",

volume = "276",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - GEN

T1 - A Step-Indexed Kripke Model of Separation Logic for Storable Locks

AU - Buisse, Alexandre

AU - Birkedal, Lars

AU - Støvring, Kristian

PY - 2011

Y1 - 2011

U2 - 10.1016/j.entcs.2011.09.018

DO - 10.1016/j.entcs.2011.09.018

M3 - Conference article

SN - 1571-0661

VL - 276

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -