Sound and Complete Type Inference for a Systems Programming Language

  • Authors:
  • Swaroop Sridhar;Jonathan S. Shapiro;Scott F. Smith

  • Affiliations:
  • Department of Computer Science, The Johns Hopkins University,;Department of Computer Science, The Johns Hopkins University,;Department of Computer Science, The Johns Hopkins University,

  • Venue:
  • APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing of mutability. The type system is provably sound, supports polymorphism, and eliminates the need for alias analysis to determine the immutability of a location. A sound and complete type inference algorithm for this system is presented.