Show simple item record

Modular, fully-abstract compilation by approximate back-translation

dc.contributor.authorDevriese, Dominique
dc.contributor.authorPatrignani, Marco
dc.contributor.authorPiessens, Frank
dc.contributor.authorKeuchel, Steven
dc.date.accessioned2021-10-24T04:15:13Z
dc.date.available2021-10-24T04:15:13Z
dc.date.issued2017
dc.identifier.issn1860-5974
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/28234
dc.sourceIIOimport
dc.titleModular, fully-abstract compilation by approximate back-translation
dc.typeJournal article
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpagelmcs:3230
dc.source.journalLogical Methods in Computer Science
dc.source.issue4
dc.source.volume13
dc.identifier.urlDOI : 10.23638/LMCS-13(4:2)2017
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
41339.pdf
Size:
642.8Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record