A Language for Role Specifications

paper ps   
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.

Citation

Viktor Kuncak, Patrick Lam, and Martin Rinard. A language for role specifications. In Workshop on Languages and Compilers for Parallel Computing, volume 2624 of LNCS, 2001.

BibTex Entry

@inproceedings{KuncakETAL01LanguageRoleSpecifications,
  author = {Viktor Kuncak and Patrick Lam and Martin Rinard},
  title = {A Language for Role Specifications},
  booktitle = {Workshop on Languages and Compilers for Parallel Computing},
  volume = 2624,
  series = {LNCS},
  year = 2001,
  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.
}
}