Linear capabilities for fully abstract compilation of separation-logic-verified code

Metadata

Show full item record

Authors

Van strydonck, Thomas; Piessens, Frank; Devriese, Dominique

ISSN

2475-1421

Journal

Proceedings of the ACM on Programming Languages

Volume

3

Title

Linear capabilities for fully abstract compilation of separation-logic-verified code

Publication type

Journal article

Collections

Articles