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

Alexandre Buisse, Lars Birkedal, Kristian Støvring

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronic Notes in Theoretical Computer Science
Vol/bind	276
ISSN	1571-0661
DOI	https://doi.org/10.1016/j.entcs.2011.09.018
Status	Udgivet - 2011

Adgang til dokumentet

@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 -