A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
ISSN: 1090-2651, 0890-5401
Datum der Publikation: 2014
Ausgabe: 235
Seiten: 3-35
Art: Artikel
ISSN: 1090-2651, 0890-5401
Datum der Publikation: 2014
Ausgabe: 235
Seiten: 3-35
Art: Artikel