{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:12:58Z","timestamp":1725725578722},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1145\/503272.503276","type":"proceedings-article","created":{"date-parts":[[2003,6,2]],"date-time":"2003-06-02T13:12:42Z","timestamp":1054559562000},"page":"17-32","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":68,"title":["Role analysis"],"prefix":"10.1145","author":[{"given":"Viktor","family":"Kuncak","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}]}],"member":"320","published-online":{"date-parts":[[2002,1]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/615224.615227"},{"key":"e_1_3_2_1_2_2","volume-title":"Proceedings of the 11th European Conference on Object-Oriented Programming","author":"Almeida Paulo Sergio","year":"1997","unstructured":"Paulo Sergio Almeida . Balloon types : Controlling sharing of state in data types . In Proceedings of the 11th European Conference on Object-Oriented Programming , 1997 .]] Paulo Sergio Almeida. Balloon types: Controlling sharing of state in data types. In Proceedings of the 11th European Conference on Object-Oriented Programming, 1997.]]"},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_6_2","first-page":"268","volume-title":"Proceedings of the 7h European (Uonfernce on Object-Oriented Programming","author":"Chambers Craig","year":"1998","unstructured":"Craig Chambers . Predicate classes . In Proceedings of the 7h European (Uonfernce on Object-Oriented Programming , pages 268 296, 1998 .]] Craig Chambers. Predicate classes. In Proceedings of the 7h European (Uonfernce on Object-Oriented Programming, pages 268 296, 1998.]]"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93585"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680007"},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263706"},{"key":"e_1_3_2_1_14_2","volume-title":"Workshop on Dbundations of Object-Oriented Languages","author":"Ghelli Giorgio","year":"1999","unstructured":"Giorgio Ghelli and Debora Palmerini . Ibundations for extensible objects with roles . In Workshop on Dbundations of Object-Oriented Languages , Paris , 1999 .]] Giorgio Ghelli and Debora Palmerini. Ibundations for extensible objects with roles. In Workshop on Dbundations of Object-Oriented Languages, Paris, 1999.]]"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237724"},{"key":"e_1_3_2_1_16_2","volume-title":"Proceedings of the 8th Workshop on Languages and Compilers for Parallel Computing","author":"Ghiya Rakosh","year":"1995","unstructured":"Rakosh Ghiya and Laurio J. Hondron . Connoction analysis: A practical intorprocodural hoap analysis for C . In Proceedings of the 8th Workshop on Languages and Compilers for Parallel Computing , 1995 .]] Rakosh Ghiya and Laurio J. Hondron. Connoction analysis: A practical intorprocodural hoap analysis for C. In Proceedings of the 8th Workshop on Languages and Compilers for Parallel Computing, 1995.]]"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268957"},{"key":"e_1_3_2_1_18_2","volume-title":"Extonding objoct-oriontod systoms with rolos. AUM ;mnsactions on Information Systems, 14(3)","author":"Gottlob Goorg","year":"1994","unstructured":"Goorg Gottlob , Michaol Schrofl , and Brigitto Roock . Extonding objoct-oriontod systoms with rolos. AUM ;mnsactions on Information Systems, 14(3) , 1994 .]] Goorg Gottlob, Michaol Schrofl, and Brigitto Roock. Extonding objoct-oriontod systoms with rolos. AUM ;mnsactions on Information Systems, 14(3), 1994.]]"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331970"},{"key":"e_1_3_2_1_20_2","volume-title":"Mass.","author":"Harol David","year":"2000","unstructured":"David Harol , Doxtor Kozon , and Jorzy Tiuryn . Dynamic Logic . Tho MIT Pross, Cambridgo , Mass. , 2000 .]] David Harol, Doxtor Kozon, and Jorzy Tiuryn. Dynamic Logic. Tho MIT Pross, Cambridgo, Mass., 2000.]]"},{"key":"e_1_3_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178262"},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_23_2","volume-title":"Dopt. of Computor Scionco, Univ. of California at Irvino","author":"Hummol Josoph","year":"1998","unstructured":"Josoph Hummol . Data Dependence Testing in the Presence of Pointers and Pointer-Based Data Structures. PhD thosis , Dopt. of Computor Scionco, Univ. of California at Irvino , 1998 .]] Josoph Hummol. Data Dependence Testing in the Presence of Pointers and Pointer-Based Data Structures. PhD thosis, Dopt. of Computor Scionco, Univ. of California at Irvino, 1998.]]"},{"key":"e_1_3_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/151640.151644"},{"key":"e_1_3_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/645604.662751"},{"key":"e_1_3_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258936"},{"key":"e_1_3_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99623"},{"key":"e_1_3_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158628"},{"key":"e_1_3_2_1_29_2","volume-title":"Proc. lath Colloquium on J;res and Algebra in Programming, numbor 787 in LNCS","author":"Klarlund Nils","year":"1994","unstructured":"Nils Klarlund and Michaol I. Schwartzbach . Graphs and docidablo transductions basod on odgo constraints . In Proc. lath Colloquium on J;res and Algebra in Programming, numbor 787 in LNCS , 1994 .]] Nils Klarlund and Michaol I. Schwartzbach. Graphs and docidablo transductions basod on odgo constraints. In Proc. lath Colloquium on J;res and Algebra in Programming, numbor 787 in LNCS, 1994.]]"},{"key":"e_1_3_2_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292546"},{"key":"e_1_3_2_1_31_2","volume-title":"Massachusotts Instituto of Tochnology","author":"Kuncak Viktor","year":"2001","unstructured":"Viktor Kuncak . Dosigning an algorithm for rolo analysis. Mastor's thosis , Massachusotts Instituto of Tochnology , 2001 .]] Viktor Kuncak. Dosigning an algorithm for rolo analysis. Mastor's thosis, Massachusotts Instituto of Tochnology, 2001.]]"},{"key":"e_1_3_2_1_32_2","volume-title":"Laboratory for Computor Scionco, Massachusotts Instituto of Tochnology, http :\/\/www ,mit, edu\/vkuncak\/papers\/","author":"Kuncak Viktor","year":"2001","unstructured":"Viktor Kuncak , Patrick Lam , and Martin Rinard . Rolos aro roally groat Tochnical Roport 822 , Laboratory for Computor Scionco, Massachusotts Instituto of Tochnology, http :\/\/www ,mit, edu\/vkuncak\/papers\/ , 2001 .]] Viktor Kuncak, Patrick Lam, and Martin Rinard. Rolos aro roally groat Tochnical Roport 822, Laboratory for Computor Scionco, Massachusotts Instituto of Tochnology, http :\/\/www ,mit, edu\/vkuncak\/papers\/, 2001.]]"},{"key":"e_1_3_2_1_33_2","volume-title":"Tol-Aviv Univorsity","author":"Lov-Ami Tal","year":"2000","unstructured":"Tal Lov-Ami . TVLA : A framowork for kleone basod logic static analysos. Mastor's thosis , Tol-Aviv Univorsity , Israol , 2000 .]] Tal Lov-Ami. TVLA: A framowork for kleone basod logic static analysos. Mastor's thosis, Tol-Aviv Univorsity, Israol, 2000.]]"},{"key":"e_1_3_2_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378851"},{"key":"e_1_3_2_1_35_2","volume-title":"Proceedings of the 12th European Conference on Object-Oriented Programming","author":"Noblo Jamos","year":"1998","unstructured":"Jamos Noblo , Jail Vitok , and John Pottor . Floxiblo alias protoction . In Proceedings of the 12th European Conference on Object-Oriented Programming , 1998 .]] Jamos Noblo, Jail Vitok, and John Pottor. Floxiblo alias protoction. In Proceedings of the 12th European Conference on Object-Oriented Programming, 1998.]]"},{"key":"e_1_3_2_1_36_2","volume-title":"Prontico Hall","author":"Roonskaug Trygvo","year":"1996","unstructured":"Trygvo Roonskaug . Working With Objects . Prontico Hall , 1996 .]] Trygvo Roonskaug. Working With Objects. Prontico Hall, 1996.]]"},{"key":"e_1_3_2_1_37_2","doi-asserted-by":"publisher","DOI":"10.5555\/647477.727768"},{"key":"e_1_3_2_1_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301645"},{"key":"e_1_3_2_1_39_2","doi-asserted-by":"publisher","DOI":"10.5555\/647477.727771"},{"key":"e_1_3_2_1_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237725"},{"key":"e_1_3_2_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292552"},{"key":"e_1_3_2_1_42_2","volume-title":"Program Flow Analysis: Theory and Applications. Prontico-Hall","author":"Sharir Micha","year":"1981","unstructured":"Micha Sharir and Amir Pnuoli . Two approachos to intorprocodural data flow analysis probloms . In Program Flow Analysis: Theory and Applications. Prontico-Hall , Inc ., 1981 .]] Micha Sharir and Amir Pnuoli. Two approachos to intorprocodural data flow analysis probloms. In Program Flow Analysis: Theory and Applications. Prontico-Hall, Inc., 1981.]]"},{"key":"e_1_3_2_1_43_2","volume-title":"Borlin","author":"Smith F.","year":"2000","unstructured":"F. Smith , D. Walkor , and G. Morrisott . Alias typos. In Pwceedings of the lth European Symposium on Programming , Borlin , Gormany , March 2000 .]] F. Smith, D. Walkor, and G. Morrisott. Alias typos. In Pwceedings of the lth European Symposium on Programming, Borlin, Gormany, March 2000.]]"},{"key":"e_1_3_2_1_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.232013"},{"key":"e_1_3_2_1_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_46_2","series-title":"Handbook of Drmal Languages","volume-title":"Beyond Words. Springor-Vorlag","author":"Thomas Wolfgang","year":"1997","unstructured":"Wolfgang Thomas . Languagos , automata, and logic . In Handbook of Drmal Languages Vol. 3 : Beyond Words. Springor-Vorlag , 1997 .]] Wolfgang Thomas. Languagos, automata, and logic. In Handbook of Drmal Languages Vol.3: Beyond Words. Springor-Vorlag, 1997.]]"},{"key":"e_1_3_2_1_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236375"},{"key":"e_1_3_2_1_48_2","volume-title":"Sea of Galilee, l'rael","author":"Wadlor Philip","year":"1990","unstructured":"Philip Wadlor . Linoar typos can chango tho world In 1FIP 2'(2 2 Working Conference on Programming Concepts and Methods , Sea of Galilee, l'rael , 1990 .]] Philip Wadlor. Linoar typos can chango tho world In 1FIP 2'(2 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, l'rael, 1990.]]"},{"key":"e_1_3_2_1_49_2","volume-title":"Workshop on 2pes in Compilation","author":"Walkor David","year":"2000","unstructured":"David Walkor and Grog Morrisott . Alias typos for rocursivo data structuros . In Workshop on 2pes in Compilation , 2000 .]] David Walkor and Grog Morrisott. Alias typos for rocursivo data structuros. In Workshop on 2pes in Compilation, 2000.]]"},{"key":"e_1_3_2_1_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207111"},{"key":"e_1_3_2_1_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349313"},{"key":"e_1_3_2_1_52_2","volume-title":"Proceedings of the 15th Euwpean b'ymposium on Programming","author":"Xu Zhichon","year":"2001","unstructured":"Zhichon Xu , Thomas Rops , and Barton Millor . Typostato chocking of machino codo . In Proceedings of the 15th Euwpean b'ymposium on Programming , 2001 .]] Zhichon Xu, Thomas Rops, and Barton Millor. Typostato chocking of machino codo. In Proceedings of the 15th Euwpean b'ymposium on Programming, 2001.]]"},{"key":"e_1_3_2_1_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/141936.141956"}],"event":{"name":"POPL02: The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2002","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Portland Oregon","acronym":"POPL02"},"container-title":["Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/503272.503276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:42:49Z","timestamp":1693813369000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/503272.503276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":52,"alternative-id":["10.1145\/503272.503276","10.1145\/503272"],"URL":"https:\/\/doi.org\/10.1145\/503272.503276","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/565816.503276","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2002,1]]},"assertion":[{"value":"2002-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}