Separation logic: a logic for shared mutable data structures release_234m4gjlvfeojmltv7jrsmjc7e

by J.C. Reynolds

Published in Logic in Computer Science by IEEE Comput. Soc.

p55-74

Archived Files and Locations

application/pdf  490.4 kB
file_dx4h33buknex5adts5dcjieyty
www-i2.informatik.rwth-aachen.de (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www-i2.informatik.rwth-aachen.de:80 (web)
web.archive.org (webarchive)
application/pdf  312.1 kB
file_2g6f77mkfrf25nxqki3agntcqu
staff.um.edu.mt (web)
web.archive.org (webarchive)
application/pdf  284.9 kB
file_kebnrpfwdne67e3ht7yf6vlecq
cs.tau.ac.il (web)
www.comp.nus.edu.sg:80 (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  130.8 kB
file_bxpo5alnr5djrg3p52earsvqhi
www.comp.nus.edu.sg (web)
web.archive.org (webarchive)
application/pdf  281.1 kB
file_eiygmpmakvekfhm54b6cce4fs4
web.archive.org (webarchive)
ttic.uchicago.edu:80 (web)
application/pdf  305.4 kB
file_ucojssb6v5anbeamakpdwdlgaq
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
users.dimi.uniud.it (web)
+ 14 more URLs
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2729a372-600c-4508-9f03-2cbfc16b6b87
API URL: JSON