Alias Types

  • Frederick Smith
  • David Walker
  • Greg Morrisett
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1782)

Abstract

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Frederick Smith
    • 1
  • David Walker
    • 1
  • Greg Morrisett
    • 1
  1. 1.Cornell UniversityUSA

Personalised recommendations