Browsing by author "Van strydonck, Thomas"

Now showing items 1-1 of 1

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

Van strydonck, Thomas; Piessens, Frank; Devriese, Dominique (2019)