< Terug naar vorige pagina
Publicatie
Linear capabilities for fully abstract compilation of separation-logic-verified code
Tijdschriftbijdrage - Tijdschriftartikel
Tijdschrift: Journal of Functional Programming
ISSN: 0956-7968
Volume: 31
Jaar van publicatie:2021
BOF-keylabel:ja
IOF-keylabel:ja
BOF-publication weight:0.1
CSS-citation score:1
Authors from:Higher Education
Toegankelijkheid:Open