A language for role specifications

Authors:
Viktor Kuncak;Patrick Lam;Martin Rinard
Affiliations:
Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA;Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA;Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA
Venue:
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Year:
2001

Citing 12
Cited 0

Typestate: A programming language concept for enhancing software reliability

IEEE Transactions on Software Engineering
Algebraic reconstruction of types and effects

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract description of pointer data structures: an approach for improving the analysis and optimization of imperative programs

ACM Letters on Programming Languages and Systems (LOPLAS)
Solving shape-analysis problems in languages with destructive updating

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Shape types

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Quasi-linear types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An annotation language for optimizing software libraries

Proceedings of the 2nd conference on Domain-specific languages
The pointer assertion logic engine

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Dynamic Logic

Dynamic Logic
A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures

Proceedings of the 8th International Symposium on Parallel Processing
Fickle: Dynamic Object Re-classification

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a new language for identifying the changing roles that objects play over the course of the computation. Each object's points-to relationships with other objects determine the role that it currently plays. Roles therefore reflect the object's membership in specific data structures, with the object's role changing as it moves between data structures. We provide a programming model which allows the developer to specify the roles of objects at different points in the computation. The model also allows the developer to specify the effect of each operation at the granularity of role changes that occur in identified regions of the heap.