Show simple item record

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

dc.contributor.authorVan strydonck, Thomas
dc.contributor.authorPiessens, Frank
dc.contributor.authorDevriese, Dominique
dc.date.accessioned2021-10-27T21:27:50Z
dc.date.available2021-10-27T21:27:50Z
dc.date.issued2019
dc.identifier.issn2475-1421
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/34278
dc.sourceIIOimport
dc.titleLinear capabilities for fully abstract compilation of separation-logic-verified code
dc.typeJournal article
dc.source.peerreviewyes
dc.source.beginpage84
dc.source.journalProceedings of the ACM on Programming Languages
dc.source.volume3
dc.identifier.urlhttps://doi.org/10.1145/3341688
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record