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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Antal sider	13
Udgivelsessted	New York, NY, USA
Forlag	Association for Computing Machinery
Publikationsdato	jan. 2013
Sider	301-313
ISBN (Trykt)	978-1-4503-1832-7
DOI	https://doi.org/10.1145/2429069.2429105
Status	Udgivet - jan. 2013

Adgang til dokumentet

10.1145/2429069.2429105

Citationsformater

@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. s. 301-313.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -