High-level separation logic for low-level code

Jonas Buhrkal Jensen; Nick Benton; Andrew Kennedy

doi:10.1145/2429069.2429105

High-level separation logic for low-level code

Jonas Buhrkal Jensen
, Nick Benton
, Andrew Kennedy

Microsoft Research

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Number of pages	13
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery
Publication date	Jan 2013
Pages	301-313
ISBN (Print)	978-1-4503-1832-7
DOIs	https://doi.org/10.1145/2429069.2429105
Publication status	Published - Jan 2013

Access to Document

10.1145/2429069.2429105

Cite this

@inproceedings{3db4843a2ff54cd7b5de6e8be27766c5,

title = "High-level separation logic for low-level code",

author = "Jensen, \{Jonas Buhrkal\} and Nick Benton and Andrew Kennedy",

year = "2013",

month = jan,

doi = "10.1145/2429069.2429105",

language = "English",

isbn = "978-1-4503-1832-7",

pages = "301--313",

booktitle = "POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages",

publisher = "Association for Computing Machinery",

address = "United States",

}

High-level separation logic for low-level code. / Jensen, Jonas Buhrkal; Benton, Nick; Kennedy, Andrew.
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York, NY, USA: Association for Computing Machinery, 2013. p. 301-313.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - High-level separation logic for low-level code

AU - Jensen, Jonas Buhrkal

AU - Benton, Nick

AU - Kennedy, Andrew

PY - 2013/1

Y1 - 2013/1

U2 - 10.1145/2429069.2429105

DO - 10.1145/2429069.2429105

M3 - Article in proceedings

SN - 978-1-4503-1832-7

SP - 301

EP - 313

BT - POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PB - Association for Computing Machinery

CY - New York, NY, USA

ER -