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
Open Access
Publikation information
Produktionstype
Publikation:
Artikel i tidsskrift og konference artikel i tidsskrift
Konferenceartikel
Forskning
Peer-reviewOriginalsprog
EngelskTidsskrift (Bind, Nummer)
Electronic Notes in Theoretical Computer Science (Bind 276)Publikationsmilepæle
- Udgivet - 2011
Publikationsstatus
Udgivet - 2011
ISSN
1571-0661Publication IDs
- Scopus: 80054929699
Metrikker
PlumX, åbner i en ny fane
Antal citationer
15
Hentninger
10