{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:12:43Z","timestamp":1761988363444,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T00:00:00Z","timestamp":1300665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,3,21]]},"DOI":"10.1145\/1960275.1960283","type":"proceedings-article","created":{"date-parts":[[2011,3,22]],"date-time":"2011-03-22T12:25:29Z","timestamp":1300796729000},"page":"43-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Compositional type-checking for delta-oriented programming"],"prefix":"10.1145","author":[{"given":"Ina","family":"Schaefer","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"}]},{"given":"Lorenzo","family":"Bettini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2011,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040308"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449931"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2168342.2168347"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774530"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852761.1852780"},{"key":"e_1_3_2_1_10_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P.","year":"2001","unstructured":"P. Clements and L. Northrop . Software Product Lines: Practices and Patterns . Addison Wesley Longman , 2001 . P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.02.009"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509837.1509846"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119483"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","first-page":"101","volume-title":"ECOOP","author":"Fraine B. D.","year":"2010","unstructured":"B. D. Fraine , E. Ernst , and M. S\u00fcdholt . Essential AOP: The A Calculus . In ECOOP , volume 6183 of LNCS , pages 101 -- 125 . Springer , 2010 . B. D. Fraine, E. Ernst, and M. S\u00fcdholt. Essential AOP: The A Calculus. In ECOOP, volume 6183 of LNCS, pages 101--125. Springer, 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353482.1353491"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_38"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report","author":"Kang K. C.","year":"1990","unstructured":"K. C. Kang , S. G. Cohen , J. A. Hess , W. E. Novak , and A. S. Peterson . Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report , Carnegie Mellon Software Engineering Institute , 1990 . K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Carnegie Mellon Software Engineering Institute, 1990."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308204"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_21_1","first-page":"181","volume-title":"SPLC","author":"K\u00e4stner C.","year":"2009","unstructured":"C. K\u00e4stner , S. Apel , S. S. ur Rahman , M. Rosenm\u00fcller , D. Batory , and G. Saake . On the Impact of the Optional Feature Problem: Analysis and Case Studies . In SPLC , pages 181 -- 190 . ACM, 2009 . C. K\u00e4stner, S. Apel, S. S. ur Rahman, M. Rosenm\u00fcller, D. Batory, and G. Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In SPLC, pages 181--190. ACM, 2009."},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","first-page":"327","volume-title":"ECOOP","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold . An Overview of AspectJ . In ECOOP , volume 2072 of LNCS , pages 327 -- 353 . Springer , 2001 . G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In ECOOP, volume 2072 of LNCS, pages 327--353. Springer, 2001."},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","first-page":"220","volume-title":"ECOOP","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Menhdhekar , C. Maeda , C. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-Oriented Programming . In ECOOP , volume 1241 of LNCS , pages 220 -- 242 . Springer , 1997 . G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP, volume 1241 of LNCS, pages 220--242. Springer, 1997."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1020284"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1621607.1621634"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_8"},{"key":"e_1_3_2_1_27_1","series-title":"LNCS","first-page":"89","volume-title":"ECOOP","author":"Ostermann K.","year":"2002","unstructured":"K. Ostermann . Dynamically composable collaborations with delegation layers. In ECOOP , volume 2374 of LNCS , pages 89 -- 110 . Springer , 2002 . K. Ostermann. Dynamically composable collaborations with delegation layers. In ECOOP, volume 2374 of LNCS, pages 89--110. Springer, 2002."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449917"},{"key":"e_1_3_2_1_29_1","series-title":"LNCS","first-page":"77","volume-title":"SPLC","author":"Schaefer I.","year":"2010","unstructured":"I. Schaefer , L. Bettini , V. Bono , F. Damiani , and N. Tanzarella . Delta-oriented Programming of Software Product Lines . In SPLC , volume 6287 of LNCS , pages 77 -- 91 . Springer , 2010 . I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented Programming of Software Product Lines. In SPLC, volume 6287 of LNCS, pages 77--91. Springer, 2010."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868688.1868696"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505148"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297064"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302457"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_36_1","series-title":"LNCS","first-page":"123","volume-title":"ECOOP","author":"Torgersen M.","year":"2004","unstructured":"M. Torgersen . The Expression Problem Revisited . In ECOOP , volume 3086 of LNCS , pages 123 -- 146 . Springer , 2004 . M. Torgersen. The Expression Problem Revisited. In ECOOP, volume 3086 of LNCS, pages 123--146. Springer, 2004."}],"event":{"name":"AOSD'11: Tenth International Conference on Aspect-Oriented Software Development","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","Centro de Informatica - UFPE Centro de Informatica - UFPE","CAPES Coorden\u00e7\u00e3ao de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","FINEP Financiadora de Estudos e Projetos","PUC-Rio","FACEPE Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco"],"location":"Porto de Galinhas Brazil","acronym":"AOSD'11"},"container-title":["Proceedings of the tenth international conference on Aspect-oriented software development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1960275.1960283","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1960275.1960283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:52Z","timestamp":1750240132000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1960275.1960283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,21]]},"references-count":34,"alternative-id":["10.1145\/1960275.1960283","10.1145\/1960275"],"URL":"https:\/\/doi.org\/10.1145\/1960275.1960283","relation":{},"subject":[],"published":{"date-parts":[[2011,3,21]]},"assertion":[{"value":"2011-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}