Heap Bounded Assembly Language (2003)
Cached
Download Links
by
David Aspinall
,
Adriana Compagnoni
| Citations: | 22 - 7 self |
BibTeX
@MISC{Aspinall03heapbounded,
author = {David Aspinall and Adriana Compagnoni},
title = {Heap Bounded Assembly Language},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of di#erent types. The linear types discipline ensures a single pointer property, but disallows aliasing. Since HBAL does not assume an external memory management system, programs run in a bounded amount of heap space.
