Browsing by Author "Van strydonck, Thomas"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Linear capabilities for fully abstract compilation of separation-logic-verified code
;Van strydonck, Thomas ;Piessens, FrankDevriese, DominiqueJournal article2019, Proceedings of the ACM on Programming Languages, 3, p.84