Roles Are Really Great!

Details Roles Are Really Great! Roles Are Really Great!

2004-08-05

arxiv.org/abs/cs/0408013v1

Computer Science

Programming Languages

29 pages. A version appeared in POPL 2002

Scientific paper

We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with other objects, with the role of each object changing as its aliasing relationships change. Roles therefore capture important object and data structure properties and provide useful information about how the actions of the program interact with these properties. Our role system enables the programmer to specify the legal aliasing relationships that define the set of roles that objects may play, the roles of procedure parameters and object fields, and the role changes that procedures perform while manipulating objects. We present an interprocedural, compositional, and context-sensitive role analysis algorithm that verifies that a program respects the role constraints.

Affiliated with

Also associated with

No associations

Rating

Roles Are Really Great! does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Roles Are Really Great!, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Roles Are Really Great! will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-410123