Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ESOP
2000
Springer

favoriteEmaildiscussreport

94views Programming Languages» more ESOP 2000»

Alias Types

13 years 8 months ago

Download www.cs.cornell.edu

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.

Frederick Smith, David Walker, J. Gregory Morriset

Real-time Traffic

Destructive Operations | ESOP 2000 | Linear Type Systems | Pointer Aliasing | Programming Languages |

claim paper

Related Content

» TypeBased Alias Analysis

» Alias Types and Effects for Environmentaware Computations

» Alias Analysis On Type Inference For Class Hierarchy In Java

» Alias Analysis for Exceptions in Java

» Alias Types for Recursive Data Structures

» SAFECode enforcing alias analysis for weakly typed languages

» Verifying safety policies with size properties and alias controls

» Sound and Complete Type Inference for a Systems Programming Language

» Introducing Alias Information into ModelBased Debugging

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	ESOP
Authors	Frederick Smith, David Walker, J. Gregory Morrisett

Comments (0)