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

Van strydonck, ThomasThomasVan strydonckPiessens, FrankFrankPiessensDevriese, DominiqueDominiqueDevriese2021-10-272021-10-2720192475-1421https://imec-publications.be/handle/20.500.12860/34278Linear capabilities for fully abstract compilation of separation-logic-verified codeJournal articlehttps://doi.org/10.1145/3341688