@inproceedings{perry2007simple,
author = {Perry, Frances and Hawblitzel, Chris and Chen, Juan},
title = {Simple and Flexible Stack Types},
booktitle = {International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07)},
year = {2007},
month = {July},
abstract = {Typed intermediate languages and typed assembly languages for optimizing compilers require types to describe stack-allocated data. Previous type systems for stack data were either undecidable or did not treat arguments passed by reference. This paper presents a simple, sound, decidable type system expressive enough to support the Micro-CLI source language, including by-reference arguments. This type system safely expresses operations on aliased stack locations by using singleton pointers and a small subset of linear logic.},
url = {http://approjects.co.za/?big=en-us/research/publication/simple-and-flexible-stack-types/},
pages = {20},
edition = {International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 07)},
}