Alias types

Frederick Smith, David Walker, Greg Morrisett

Research output: Chapter in Book/Report/Conference proceedingConference contribution

126 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProgramming 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
EditorsGert Smolka
PublisherSpringer Verlag
Pages366-381
Number of pages16
ISBN (Print)3540672621, 9783540672623
DOIs
StatePublished - 2000
Externally publishedYes
Event9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 - Berlin, Germany
Duration: Mar 25 2000Apr 2 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1782
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000
Country/TerritoryGermany
CityBerlin
Period3/25/004/2/00

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Alias types'. Together they form a unique fingerprint.

Cite this