TY - GEN
T1 - Alias types
AU - Smith, Frederick
AU - Walker, David
AU - Morrisett, Greg
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as the ability to reuse memory at different types, are essential in low-level typed languages. However, traditional linear type systems are too restrictive for use in low-level code where it is necessary to exploit pointer aliasing. We present a new typed language that allows functions to specify the shape of the store that they expect and to track the flow of pointers through a computation. Our type system is expressive enough to represent pointer aliasing and yet safely permit destructive operations.
AB - Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as the ability to reuse memory at different types, are essential in low-level typed languages. However, traditional linear type systems are too restrictive for use in low-level code where it is necessary to exploit pointer aliasing. We present a new typed language that allows functions to specify the shape of the store that they expect and to track the flow of pointers through a computation. Our type system is expressive enough to represent pointer aliasing and yet safely permit destructive operations.
UR - http://www.scopus.com/inward/record.url?scp=84947255140&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84947255140&partnerID=8YFLogxK
U2 - 10.1007/3-540-46425-5_24
DO - 10.1007/3-540-46425-5_24
M3 - Conference contribution
AN - SCOPUS:84947255140
SN - 3540672621
SN - 9783540672623
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 366
EP - 381
BT - Programming Languages and Systems - 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proceedings
A2 - Smolka, Gert
PB - Springer Verlag
T2 - 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000
Y2 - 25 March 2000 through 2 April 2000
ER -