eprintid: 10075346
rev_number: 16
eprint_status: archive
userid: 608
dir: disk0/10/07/53/46
datestamp: 2019-06-03 13:59:14
lastmod: 2021-09-19 22:15:14
status_changed: 2019-06-03 13:59:14
type: article
metadata_visibility: show
creators_name: O'Hearn, P
title: Separation Logic
ispublished: pub
divisions: UCL
divisions: B04
divisions: C05
divisions: F48
note: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
abstract: Separation logic is a key development in formal reasoning about programs, opening up new lines of attack on longstanding problems.
date: 2019-02
date_type: published
publisher: ASSOC COMPUTING MACHINERY
official_url: https://doi.org/10.1145/3211968
oa_status: green
full_text_type: other
language: eng
primo: open
primo_central: open_green
verified: verified_manual
elements_id: 1628473
doi: 10.1145/3211968
lyricists_name: O'Hearn, Peter
lyricists_id: PWOHE10
actors_name: Nonhebel, Lucinda
actors_id: LNONH33
actors_role: owner
full_text_status: public
publication: Communications - ACM
volume: 62
number: 2
pagerange: 86-95
pages: 10
issn: 0001-0782
citation:        O'Hearn, P;      (2019)    Separation Logic.                   Communications - ACM , 62  (2)   pp. 86-95.    10.1145/3211968 <https://doi.org/10.1145/3211968>.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10075346/1/O%27Hearn_AAM_sl-cacm-cameraready.pdf