Role Analysis Export

@inproceedings{citeulike:567871, abstract = {We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships change. Roles 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 de ne the set of roles that objects may play, the roles of...}, author = {Kuncak, Viktor and Lam, Patrick and Rinard, Martin}, citeulike-article-id = {567871}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/kuncak02role.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/kuncak02role.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/kuncak02role.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/kuncak02role.html}, keywords = {role-analysis, type-system}, posted-at = {2006-03-29 14:53:45}, priority = {0}, title = {Role Analysis}, url = {http://citeseer.ist.psu.edu/kuncak02role.html}, year = {2002} }

TY - CONF ID - citeulike:567871 L3 - citeulike-article-id:567871 N2 - We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships change. Roles 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 de ne the set of roles that objects may play, the roles of... TI - Role Analysis KW - role-analysis KW - type-system AU - Kuncak, Viktor AU - Lam, Patrick AU - Rinard, Martin PY - 2002/// UR - http://citeseer.ist.psu.edu/kuncak02role.html ER -