Polymorphic Access Permissions

Abstract

This paper presents a polymorphic extension to a type system that prevents the misuse of object protocols. Polymorphism allows classes to be generic in the Access Permissions in their specifications. Access Permissions describe both the current state of an object and whether or not references to the object alias. Polymorphic Access Permissions allow programmers to specify certain patterns that we have encountered in practice, for example a collection of open, unaliased files. This paper also describes an implementation of this system as a static typestate checker for the Java programming language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2010
Accession Number
ADA522510

Entities

People

  • Jonathan Erik Aldrich
  • Nels E. Beckman

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Computer Languages
  • Computer Science
  • Construction
  • Formal Languages
  • Guarantees
  • Hierarchies
  • Information Operations
  • Judgment
  • Language
  • Lists (Data Structures)
  • Machine Learning
  • Semantics
  • Specifications
  • Standards
  • Urban Areas

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Cybersecurity.
  • Database Systems and Applications