O'Hearn, P;
(2019)
Separation Logic.
Communications - ACM
, 62
(2)
pp. 86-95.
10.1145/3211968.
Preview |
Text
O'Hearn_AAM_sl-cacm-cameraready.pdf - Accepted Version Download (320kB) | Preview |
Abstract
Separation logic is a key development in formal reasoning about programs, opening up new lines of attack on longstanding problems.
| Type: | Article |
|---|---|
| Title: | Separation Logic |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1145/3211968 |
| Publisher version: | https://doi.org/10.1145/3211968 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10075346 |
Downloads since deposit
213Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
