Accession Number:

ADA522510

Title:

Polymorphic Access Permissions

Descriptive Note:

Research rept.

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

2010-03-01

Pagination or Media Count:

29.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE