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

VAN STRYDONCK THOMAS, PIESSENS FRANK, DEVRIESE DOMINIQUE

Onderzoeksoutput: Article › peer review

4 Citaten (Scopus)
206 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Linear capabilities for fully abstract compilation of separation-logic-verified code'. Samen vormen ze een unieke vingerafdruk.

Engineering & Materials Science