{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:24:17Z","timestamp":1765887857311,"version":"3.37.3"},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,1,31]],"date-time":"2017-01-31T00:00:00Z","timestamp":1485820800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"EC"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s00236-017-0293-6","type":"journal-article","created":{"date-parts":[[2017,1,31]],"date-time":"2017-01-31T14:30:43Z","timestamp":1485873043000},"page":"269-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A core calculus for dynamic delta-oriented programming"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Seidl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,31]]},"reference":[{"key":"293_CR1","doi-asserted-by":"publisher","unstructured":"Aldrich, J., Sunshine,J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: Proceedings of the 24th ACM SIGPLAN conference companion on object oriented programming systems languages and applications, OOPSLA \u201909, pp. 1015\u20131022. ACM, New York 2009). doi: 10.1145\/1639950.1640073","DOI":"10.1145\/1639950.1640073"},{"key":"293_CR2","doi-asserted-by":"crossref","unstructured":"Alves, V., Matos,P. Jr, Cole, L., Vasconcelos, A., Borba, P., Ramalho, G.: Extracting and evolving code in product lines with aspect-oriented programming. In: Transactions on aspect-oriented software development IV, pp. 117\u2013142. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-77042-8_5"},{"key":"293_CR3","doi-asserted-by":"publisher","unstructured":"Ancona, D., Anderson, C., Damiani, F., Drossopoulou, S., Giannini, P., Zucca, E.: A provenly correct translation of fickle into java. ACM Trans. Program. Lang. Syst. 29(2), (2007). doi: 10.1145\/1216374.1216381","DOI":"10.1145\/1216374.1216381"},{"key":"293_CR4","unstructured":"Andrade, R., Reb\u00ealo, H., Ribeiro, M., Borba, P.: Flexible feature binding with aspectj-based idioms. J. UCS 20(5), 692\u2013719 (2014)"},{"issue":"3","key":"293_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6\u00dflinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Autom. Softw. Eng. 17(3), 251\u2013300 (2010). doi: 10.1007\/s10515-010-0066-8","journal-title":"Autom. Softw. Eng."},{"key":"293_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11561347_10","volume-title":"Generative Programming and Component Engineering, volume 3676 of Lecture Notes in Computer Science","author":"S Apel","year":"2005","unstructured":"Apel, S., Leich, T., Rosenmller, M., Saake, G.: Featurec++: on the symbiosis of feature-oriented and aspect-oriented programming. In: Gl\u00fcck, R., Lowry, M. (eds.) Generative Programming and Component Engineering, volume 3676 of Lecture Notes in Computer Science, pp. 125\u2013140. Springer, Berlin (2005). doi: 10.1007\/11561347_10"},{"key":"293_CR7","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11687061_5","volume-title":"Transactions on Aspect-Oriented Software Development I. Lecture Notes in Computer Science, vol. 3880","author":"I Aracic","year":"2006","unstructured":"Aracic, I., Gasiunas, V., Mezini, M., Ostermann, K.: An overview of caesarj. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. Lecture Notes in Computer Science, vol. 3880, pp. 135\u2013173. Springer, Berlin (2006). doi: 10.1007\/11687061_5"},{"key":"293_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines. Lecture Notes in Computer Science, vol. 3714","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) Software Product Lines. Lecture Notes in Computer Science, vol. 3714, pp. 7\u201320. Springer, Berlin (2005). doi: 10.1007\/11554844_3"},{"issue":"6","key":"293_CR9","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30(6), 355\u2013371 (2004). doi: 10.1109\/TSE.2004.23","journal-title":"IEEE Trans. Softw. Eng."},{"key":"293_CR10","doi-asserted-by":"publisher","unstructured":"Bettini, L., Bono, V.: Type safe dynamic object delegation in class-based languages. In: Proceedings of the 6th international symposium on principles and practice of programming in Java, PPPJ \u201908, pp. 171\u2013180. ACM, New York (2008). doi: 10.1145\/1411732.1411756","DOI":"10.1145\/1411732.1411756"},{"key":"293_CR11","doi-asserted-by":"publisher","unstructured":"Bettini, L., Bono, V., Venneri, B.: Delegation by object composition. Sci. Comput. Program. 76(11):992\u20131014 (2011). doi: 10.1016\/j.scico.2010.04.006 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642310000754","DOI":"10.1016\/j.scico.2010.04.006"},{"key":"293_CR12","doi-asserted-by":"publisher","unstructured":"Bettini, L., Capecchi, S., Damiani, F.: On flexible dynamic trait replacement for java-like languages. Sci. Comput. Program., 78(7):907\u2013932 (2013a). doi: 10.1016\/j.scico.2012.11.003 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642312002092","DOI":"10.1016\/j.scico.2012.11.003"},{"key":"293_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","volume":"50","author":"L Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50, 77\u2013122 (2013b). doi: 10.1007\/s00236-012-0173-z","journal-title":"Acta Informatica"},{"key":"293_CR14","doi-asserted-by":"publisher","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. (2013c). doi: 10.1016\/j.scico.2013.07.016 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642313001901","DOI":"10.1016\/j.scico.2013.07.016"},{"key":"293_CR15","doi-asserted-by":"publisher","unstructured":"Bubel, R., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Owe, O., Schaefer, I., Yu, I.C.: Proof repositories for compositional verification of evolving software systems, pp. 130\u2013156. Springer International Publishing, Cham (2016). doi: 10.1007\/978-3-319-46508-1_8","DOI":"10.1007\/978-3-319-46508-1_8"},{"key":"293_CR16","doi-asserted-by":"publisher","unstructured":"Capilla, R., Bosch, J., Trinidad, P., Ruiz-Corts, A., Hinchey, M.: An overview of dynamic software product line architectures and techniques: observations from research and industry. J. Syst. Softw. 91:3\u201323 (2014). doi: 10.1016\/j.jss.2013.12.038 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121214000119","DOI":"10.1016\/j.jss.2013.12.038"},{"key":"293_CR17","doi-asserted-by":"publisher","unstructured":"Previtali, S.C., Gross, T.R.: Aspect-based dynamic software updating: a model and its empirical evaluation. In: AOSD, pp. 105\u2013116. ACM, New York (2011). doi: 10.1145\/1960275.1960289","DOI":"10.1145\/1960275.1960289"},{"key":"293_CR18","doi-asserted-by":"publisher","unstructured":"Chakravarthy, V., Regehr, J., Eide, E.: Edicts: implementing features with flexible binding times. In: Proceedings of the 7th international conference on aspect-oriented software development, AOSD \u201908, pp. 108\u2013119. ACM, New York (2008). doi: 10.1145\/1353482.1353496","DOI":"10.1145\/1353482.1353496"},{"issue":"4","key":"293_CR19","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Kenneth Zadeck, F.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13(4), 451\u2013490 (1991). doi: 10.1145\/115372.115320","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"293_CR20","doi-asserted-by":"publisher","unstructured":"Damiani, F., Drossopoulou, S., Giannini, P.: Refined effects for unanticipated object re-classification: Fickle $$_{3}$$ 3 . In: Blundo, C., Laneve, C. (eds.) Theoretical computer science. Lecture Notes in Computer Science, vol. 2841 pp. 97\u2013110. Springer, Berlin (2003). doi: 10.1007\/978-3-540-45208-9_9","DOI":"10.1007\/978-3-540-45208-9_9"},{"key":"293_CR21","doi-asserted-by":"publisher","unstructured":"Damiani, F., Gladisch, C., Tyszberowicz, S.: Refinement-based testing of delta-oriented product lines. In: Proceedings of the 2013 international conference on principles and practices of programming on the java platform: virtual machines, languages, and tools, PPPJ \u201913, pp. 135\u2013140. ACM, New York (2013). doi: 10.1145\/2500828.2500841","DOI":"10.1145\/2500828.2500841"},{"key":"293_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-33693-0_4","volume-title":"On Type Checking Delta-Oriented Product Lines","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: On Type Checking Delta-Oriented Product Lines, pp. 47\u201362. Springer International Publishing, Cham (2016). doi: 10.1007\/978-3-319-33693-0_4"},{"key":"293_CR23","doi-asserted-by":"publisher","unstructured":"Damiani, F., Owe, O., Dovland, J., Schaefer, I., Johnsen, E.B. , Yu, I.C.: A transformational proof system for delta-oriented programming. In: Proceedings of the 16th international software product line conference, vol. 2, SPLC \u201912, pp. 53\u201360. ACM, New York (2012a). doi: 10.1145\/2364412.2364422","DOI":"10.1145\/2364412.2364422"},{"key":"293_CR24","doi-asserted-by":"publisher","unstructured":"Damiani, F., Padovani, L., Schaefer, I.: A formal foundation for dynamic delta-oriented software product lines. In: Proceedings of the 11th international conference on generative programming and component engineering, GPCE \u201912, pp. 1\u201310. ACM, New York (2012b). doi: 10.1145\/2371401.2371403","DOI":"10.1145\/2371401.2371403"},{"key":"293_CR25","doi-asserted-by":"publisher","unstructured":"Damiani, F., Schaefer, I.: Dynamic delta-oriented programming. In: Proceedings of the 15th international software product line conference, volume 2, SPLC \u201911, pp. 34:1\u201334:8. ACM, New York (2011). doi: 10.1145\/2019136.2019175","DOI":"10.1145\/2019136.2019175"},{"key":"293_CR26","doi-asserted-by":"publisher","unstructured":"Damiani, F., Schaefer, I.: Family-based analysis of type safety for delta-oriented software product lines, pp. 193\u2013207. Springer, Berlin (2012). doi: 10.1007\/978-3-642-34026-0_15","DOI":"10.1007\/978-3-642-34026-0_15"},{"key":"293_CR27","unstructured":"Dinkelaker, T., Mitschke, R., Fetzer, K., Mezini, M.: A dynamic software product line approach using aspect models at runtime. In: Fifth domain-specific aspect languages workshop, vol.\u00a039, (2010)"},{"issue":"2","key":"293_CR28","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/514952.514955","volume":"24","author":"S Drossopoulou","year":"2002","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More dynamic object reclassification: Fickle&par. ACM Trans. Program. Lang. Syst. 24(2), 153\u2013191 (2002). doi: 10.1145\/514952.514955","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"293_CR29","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1119479.1119483","volume":"28","author":"S Ducasse","year":"2006","unstructured":"Ducasse, S., Nierstrasz, O., Sch\u00e4rli, N., Wuyts, R., Black, A.P.: Traits: a mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. 28(2), 331\u2013388 (2006). doi: 10.1145\/1119479.1119483","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"293_CR30","unstructured":"Ernst, E.: gbeta\u2013a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. PhD thesis, Department of Computer Science, University of \u00c5rhus, Denmark (1999). http:\/\/www.daimi.au.dk\/~eernst\/gbeta\/"},{"key":"293_CR31","doi-asserted-by":"crossref","unstructured":"Groher, I., Voelter, M.: Aspect-oriented model-driven software product line engineering. In: Transactions on aspect-oriented software development VI, pp. 111\u2013152. Springer (2009)","DOI":"10.1007\/978-3-642-03764-1_4"},{"key":"293_CR32","doi-asserted-by":"publisher","unstructured":"Gu, T., Cao, C., Xu, C., Ma, X., Zhang, L., L\u00fc, J.: Low-disruptive dynamic updating of java applications. Inf. Softw. Technol. 56(9):1086\u20131098 (2014). doi: 10.1016\/j.infsof.2014.04.003 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584914000846","DOI":"10.1016\/j.infsof.2014.04.003"},{"key":"293_CR33","doi-asserted-by":"publisher","unstructured":"G\u00fcnther, S., Sunkle, S,: Dynamically adaptable software product lines using ruby metaprogramming. In: Proceedings of the 2nd international workshop on feature-oriented software development, FOSD \u201910, pp. 80\u201387. ACM, New York (2010). doi: 10.1145\/1868688.1868700","DOI":"10.1145\/1868688.1868700"},{"key":"293_CR34","doi-asserted-by":"publisher","unstructured":"H\u00e4hnle, R., Schaefer, I.: A liskov principle for delta-oriented programming. In: Margaria, T., Steffen, B. (eds.) Leveraging applications of formal methods, verification and validation. Technologies for Mastering Change. Lecture Notes in Computer Science, vol. 7609, pp. 32\u201346. Springer, Berlin (2012). doi: 10.1007\/978-3-642-34026-0_4","DOI":"10.1007\/978-3-642-34026-0_4"},{"issue":"4","key":"293_CR35","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MC.2008.123","volume":"41","author":"S Hallsteinsen","year":"2008","unstructured":"Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. Computer 41(4), 93\u201395 (2008). doi: 10.1109\/MC.2008.123","journal-title":"Computer"},{"key":"293_CR36","unstructured":"Herrmann, S.: A precise model for contextual roles: The programming language ObjectTeams\/Java. Appl. Ontol. 2(2):181\u2013207 (2007). http:\/\/iospress.metapress.com\/content\/M186325145U8166N"},{"key":"293_CR37","doi-asserted-by":"publisher","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3):125\u2013151 (2008). doi: 10.5381\/jot.2008.7.3.a4 . http:\/\/www.jot.fm\/contents\/issue_2008_03\/article4.html","DOI":"10.5381\/jot.2008.7.3.a4"},{"issue":"3","key":"293_CR38","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight java: A minimal core calculus for java and gj. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001). doi: 10.1145\/503502.503505","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"293_CR39","doi-asserted-by":"publisher","unstructured":"Johnsen, E.B., Kyas, M., Yu, I.C.: Dynamic classes: modular asynchronous evolution of distributed concurrent objects. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009: formal methods. Lecture Notes in Computer Science, vol. 5850, pp 596\u2013611. Springer, Berlin (2009). doi: 10.1007\/978-3-642-05089-3_38","DOI":"10.1007\/978-3-642-05089-3_38"},{"key":"293_CR40","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, C., Apel, S., Batory, D.: A case study implementing features using aspectJ. In: IEEE computer society software product line conference, pp. 223\u2013232, Los Alamitos, CA (2007). doi: 10.1109\/SPLINE.2007.12","DOI":"10.1109\/SPLINE.2007.12"},{"key":"293_CR41","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.:. Granularity in software product lines. In: Proceedings of the 30th international conference on software engineering, ICSE \u201908, pp. 311\u2013320. ACM, New York (2008). doi: 10.1145\/1368088.1368131","DOI":"10.1145\/1368088.1368131"},{"key":"293_CR42","doi-asserted-by":"publisher","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectj. In: Knudsen, J.L. (eds.) ECOOP 2001 object-oriented programming. Lecture Notes in Computer Science, vol. 2072, pp. 327\u2013354. Springer, Berlin (2001). doi: 10.1007\/3-540-45337-7_18","DOI":"10.1007\/3-540-45337-7_18"},{"key":"293_CR43","volume-title":"Aspect-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. Springer, Berlin (1997)"},{"key":"293_CR44","doi-asserted-by":"crossref","unstructured":"Koscielny, J., Holthusen, S., Schaefer, I., Schulze, S., Bettini, L., Damiani, F.: Deltaj 1.5: delta-oriented programming for java 1.5. In: PPPJ 2014, pp. 63\u201374 (2014)","DOI":"10.1145\/2647508.2647512"},{"issue":"4","key":"293_CR45","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MS.2002.1020284","volume":"19","author":"C Krueger","year":"2002","unstructured":"Krueger, C.: Eliminating the adoption barrier. IEEE Softw. 19(4), 29\u201331 (2002). doi: 10.1109\/MS.2002.1020284","journal-title":"IEEE Softw."},{"key":"293_CR46","doi-asserted-by":"publisher","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) Tests and proofs. Lecture Notes in Computer Science, vol. 7305, pp. 67\u201382. Springer, Berlin (2012). doi: 10.1007\/978-3-642-30473-6_7","DOI":"10.1007\/978-3-642-30473-6_7"},{"key":"293_CR47","doi-asserted-by":"publisher","unstructured":"Lopez-Herrejon, R.E., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: Black, A.P. (ed) ECOOP 2005\u2013object-oriented programming. Lecture Notes in Computer Science, vol. 3586, pp. 169\u2013194. Springer, Berlin (2005). doi: 10.1007\/11531142_8","DOI":"10.1007\/11531142_8"},{"key":"293_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering\u2013Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering\u2013Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"issue":"2","key":"293_CR49","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1002\/spe.2107","volume":"43","author":"M Pukall","year":"2013","unstructured":"Pukall, M., K\u00e4stner, C., Cazzola, W., G\u00f6tz, S., Grebhahn, A., Sch\u00f6ter, R., Saake, G.: JavAdaptor\u2013flexible runtime updates of java applications. Softw. Pract. Exp. 43(2), 153\u2013185 (2013). doi: 10.1002\/spe.2107","journal-title":"Softw. Pract. Exp."},{"key":"293_CR50","unstructured":"Ribeiro, M., Cardoso, R., Borba, P., Bonif\u00e1cio, R., Reb\u00ealo, H.: Does aspectj provide modularity when implementing features with flexible binding times? Third Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), Fortaleza, Ceara, Brazil, pp. 1\u20136 (2009)"},{"issue":"2","key":"293_CR51","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10515-011-0080-5","volume":"18","author":"M Rosenm\u00fcller","year":"2011","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Apel, S., Saake, G.: Flexible feature binding in software product lines. Autom. Softw. Eng. 18(2), 163\u2013197 (2011a). doi: 10.1007\/s10515-011-0080-5","journal-title":"Autom. Softw. Eng."},{"issue":"3","key":"293_CR52","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/2189751.2047866","volume":"47","author":"M Rosenm\u00fcller","year":"2011","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Pukall, M., Apel, S.: Tailoring dynamic software product lines. SIGPLAN Not. 47(3), 3\u201312 (2011b). doi: 10.1145\/2189751.2047866","journal-title":"SIGPLAN Not."},{"key":"293_CR53","doi-asserted-by":"publisher","unstructured":"Saini, D., Sunshine, J., Aldrich, J.: A theory of typestate-oriented programming. In: FTfJP, pp. 9:1\u20139:7. ACM (2010). doi: 10.1145\/1924520.1924529","DOI":"10.1145\/1924520.1924529"},{"key":"293_CR54","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) Software product lines: going beyond. Lecture Notes in Computer Science, vol. 6287, pp. 77\u201391. Springer, Berlin (2010). doi: 10.1007\/978-3-642-15579-6_6","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"293_CR55","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Damiani, F.: Pure delta-oriented programming. In: Proceedings of the 2nd international workshop on feature-oriented software development, FOSD \u201910, pp. 49\u201356. ACM, New York (2010). doi: 10.1145\/1868688.1868696","DOI":"10.1145\/1868688.1868696"},{"issue":"5","key":"293_CR56","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. STTT 14(5), 477\u2013495 (2012). doi: 10.1007\/s10009-012-0253-y","journal-title":"STTT"},{"key":"293_CR57","doi-asserted-by":"crossref","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: Integrated management of variability in space and time in software families. In: Proceedings of the 18th international software product line conference (SPLC), SPLC\u201914 (2014)","DOI":"10.1145\/2648511.2648514"},{"issue":"2","key":"293_CR58","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/505145.505148","volume":"11","author":"Y Smaragdakis","year":"2002","unstructured":"Smaragdakis, Y., Batory, D.: Mixin layers: An object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. 11(2), 215\u2013255 (2002). doi: 10.1145\/505145.505148","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"293_CR59","doi-asserted-by":"publisher","unstructured":"Smith, C., Drossopoulou, S.: Chai: Traits for java-like languages. In: Black, A.P. (ed.) ECOOP 2005\u2013object-oriented programming. Lecture Notes in Computer Science, vol. 3586, pp. 453\u2013478. Springer, Berlin (2005). doi: 10.1007\/11531142_20","DOI":"10.1007\/11531142_20"},{"key":"293_CR60","doi-asserted-by":"publisher","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.M. Jr.: N degrees of separation: Multi-dimensional separation of concerns. In: Proceedings of the 21st International conference on software engineering, ICSE \u201999, pp. 107\u2013119. ACM, New York (1999). doi: 10.1145\/302405.302457","DOI":"10.1145\/302405.302457"},{"key":"293_CR61","doi-asserted-by":"publisher","unstructured":"W\u00fcrthinger, T., Wimmer, C., Stadler, L.: Unrestricted and safe dynamic code evolution for java. Sci. Comput. Program. 78(5):481\u2013498 (2013). doi: 10.1016\/j.scico.2011.06.005 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642311001456","DOI":"10.1016\/j.scico.2011.06.005"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-017-0293-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-017-0293-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-017-0293-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T00:17:22Z","timestamp":1568765842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-017-0293-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,31]]},"references-count":61,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["293"],"URL":"https:\/\/doi.org\/10.1007\/s00236-017-0293-6","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2017,1,31]]}}}