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.

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.

[ bib ] Back