< Terug naar vorige pagina

Publicatie

Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

Tijdschriftbijdrage - Tijdschriftartikel

Tijdschrift: ACM transactions on programming languages and systems

ISSN: 0164-0925

Issue: 1

Volume: 42

Jaar van publicatie:2020

Institutional Repository URL: https://lirias.kuleuven.be/2960219
DOI: https://doi.org/10.1145/3363519
WoS Id: 000511839200005

Zie ook: Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management