{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:21Z","timestamp":1750307301111,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T00:00:00Z","timestamp":1277164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["309048\/2006-0573964\/2008-4"],"award-info":[{"award-number":["309048\/2006-0573964\/2008-4"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CNS-0627338CRI-0708330CCF-0915611"],"award-info":[{"award-number":["CNS-0627338CRI-0708330CCF-0915611"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Institute of Science and Technology for Software Engineering (INES), funded by CNPq","award":["573964\/2008-4"],"award-info":[{"award-number":["573964\/2008-4"]}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-0627338CRI-0708330CCF-0915611"],"award-info":[{"award-number":["CNS-0627338CRI-0708330CCF-0915611"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,6,22]]},"DOI":"10.1145\/1924520.1924528","type":"proceedings-article","created":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T21:06:02Z","timestamp":1294779962000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Refactoring and representation independence for class hierarchies"],"prefix":"10.1145","author":[{"given":"Leila","family":"Silva","sequence":"first","affiliation":[{"name":"Universidade Federal de, Sergipe, Brasil"}]},{"given":"David A.","family":"Naumann","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology"}]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[{"name":"Universidade Federal de, Pernambuco, Brasil"}]}],"member":"320","published-online":{"date-parts":[[2010,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480925"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101821.1101824"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_17"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040326"},{"key":"e_1_3_2_1_5_1","volume-title":"Relational parametricity and separation logic. Logical Methods in Comp. Sci., 4(2)","author":"Birkedal L.","year":"2008","unstructured":"L. Birkedal and H. Yang . Relational parametricity and separation logic. Logical Methods in Comp. Sci., 4(2) , 2008 . L. Birkedal and H. Yang. Relational parametricity and separation logic. Logical Methods in Comp. Sci., 4(2), 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.03.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879810"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","first-page":"471","volume-title":"Formal Methods Europe","author":"Cavalcanti A. L. C.","year":"2002","unstructured":"A. L. C. Cavalcanti and D. A. Naumann . Forward simulation for data refinement of classes . In Formal Methods Europe , volume 2391 of LNCS , pages 471 -- 490 , 2002 . A. L. C. Cavalcanti and D. A. Naumann. Forward simulation for data refinement of classes. In Formal Methods Europe, volume 2391 of LNCS, pages 471--490, 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706323"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0125-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_11"},{"key":"e_1_3_2_1_13_1","volume-title":"Informal proc. of FOOL\/WOOD","author":"Koutavas V.","year":"2007","unstructured":"V. Koutavas and M. Wand . Reasoning about class behavior . Informal proc. of FOOL\/WOOD , 2007 . V. Koutavas and M. Wand. Reasoning about class behavior. Informal proc. of FOOL\/WOOD, 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_22"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297061"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924520.1924528"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2008.29"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1807662.1807698"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1284320.1284325"}],"event":{"name":"ECOOP '10: European Conference on Object-Oriented Programming","sponsor":["CEKTRA","University of Maribor","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Maribor Slovenia","acronym":"ECOOP '10"},"container-title":["Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1924520.1924528","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1924520.1924528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:53Z","timestamp":1750244393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1924520.1924528"}},"subtitle":["extended abstract"],"short-title":[],"issued":{"date-parts":[[2010,6,22]]},"references-count":20,"alternative-id":["10.1145\/1924520.1924528","10.1145\/1924520"],"URL":"https:\/\/doi.org\/10.1145\/1924520.1924528","relation":{},"subject":[],"published":{"date-parts":[[2010,6,22]]},"assertion":[{"value":"2010-06-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}