{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:14:48Z","timestamp":1743048888257,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255262"},{"type":"electronic","value":"9783319255279"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25527-9_10","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T07:08:43Z","timestamp":1444201723000},"page":"122-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Safe Adaptation Through Implicit Effect Coercion"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[]},{"given":"Letterio","family":"Galletta","sequence":"additional","affiliation":[]},{"given":"Gianluca","family":"Mezzetti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Aotani, T., Kamina, T., Masuhara, H.: Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. In: Proceedings of the 3rd International Workshop on Context-Oriented Programming, pp. 1:1\u20131:7. ACM (2011)","DOI":"10.1145\/2068736.2068737"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Aotani, T., Kamina, T., Masuhara, H.: Unifying multiple layer activation mechanisms using one event sequence. In: Proceedings of 6th International Workshop on Context-Oriented Programming. ACM, NY (2014)","DOI":"10.1145\/2637066.2637068"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Appeltauer, M., Hirschfeld, R., Haupt, M., Lincke, J., Perscheid, M.: A comparison of context-oriented programming languages. In: International Workshop on Context-Oriented Programming. ACM, NY (2009)","DOI":"10.1145\/1562112.1562118"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61780-9_58","volume-title":"Types for Proofs and Programs","author":"G Barthe","year":"1996","unstructured":"Barthe, G.: Implicit coercions in type systems. In: Coppo, M., Berardi, S. (eds.) TYPES 1995. LNCS, vol. 1158, pp. 1\u201315. Springer, Heidelberg (1996)"},{"issue":"5","key":"10_CR5","doi-asserted-by":"publisher","first-page":"799","DOI":"10.3233\/JCS-2009-0357","volume":"17","author":"M Bartoletti","year":"2009","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. J. Comput. Secur. 17(5), 799\u2013837 (2009)","journal-title":"J. Comput. Secur."},{"issue":"6","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1552309.1552313","volume":"31","author":"M Bartoletti","year":"2009","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6), 1\u201343 (2009)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-319-10882-7_5","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2014","author":"C Bodei","year":"2014","unstructured":"Bodei, C., Degano, P., Galletta, L., Salvatori, F.: Linguistic mechanisms for context-aware security. In: Ciobanu, G., M\u00e9ry, D. (eds.) ICTAC 2014. LNCS, vol. 8687, pp. 61\u201379. Springer, Heidelberg (2014)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Clarke, D., Costanza, P., Tanter, E.: How should context-escaping closures proceed? In: International Workshop on Context-Oriented Programming. ACM (2009)","DOI":"10.1145\/1562112.1562113"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, D., Sergey, I.: A semantics for context-oriented programming with layers. In: International Workshop on Context-Oriented Programming. ACM, NY (2009)","DOI":"10.1145\/1562112.1562122"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-319-10431-7_28","volume-title":"Software Engineering and Formal Methods","author":"P Degano","year":"2014","unstructured":"Degano, P., Ferrari, G.-L., Galletta, L.: A two-phase static analysis for reliable adaptation. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 347\u2013362. Springer, Heidelberg (2014)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Degano, P., Ferrari, G.L., Galletta, L.: A two-component language for COP. In: 6th International Workshop on Context-Oriented Programming (2014)","DOI":"10.1145\/2637066.2637072"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-642-30829-1_18","volume-title":"Coordination Models and Languages","author":"P Degano","year":"2012","unstructured":"Degano, P., Ferrari, G.-L., Galletta, L., Mezzetti, G.: Types for coordinating secure behavioural variations. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 261\u2013276. Springer, Heidelberg (2012)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Degano, P., Ferrari, G.L., Galletta, L., Mezzetti, G.: Typing context-dependent behavioural variation. In: Gay, S.J., Kelly, P. (eds.) Proceedings of Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012. EPTCS, vol. 109, pp. 28\u201333 (2012)","DOI":"10.4204\/EPTCS.109.5"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Hirschfeld, R., Igarashi, A., Masuhara, H.: ContextFJ: a minimal core calculus for context-oriented programming. In: Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, pp. 19\u201323. ACM (2011)","DOI":"10.1145\/1960510.1960515"},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R Hirschfeld","year":"2008","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3), 125\u2013151 (2008). March\u2013April 2008, ETH Zurich","journal-title":"J. Object Technol."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Hirschfeld, R., Masuhara, H.: A type system for dynamic layer composition. In: FOOL 2012, p. 13 (2012)","DOI":"10.1145\/2489793.2489797"},{"issue":"3","key":"10_CR19","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)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Inoue, H., Igarashi, A., Appeltauer, M., Hirschfeld, R.: Towards type-safe JCop: a type system for layer inheritance and first-class layers. In: International Workshop on Context-Oriented Programming. ACM (2014)","DOI":"10.1145\/2637066.2637073"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Kamina, T., Aotani, T., Igarashi, A.: On-demand layer activation for type-safe deactivation. In: Proceedings of 6th International Workshop on Context-Oriented Programming, pp. 4:1\u20134:7. ACM (2014)","DOI":"10.1145\/2637066.2637070"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Kamina, T., Aotani, T., Masuhara, H.: A core calculus of composite layers. In: Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, pp. 7\u201312. ACM (2013)","DOI":"10.1145\/2451598.2451601"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Oliveira, B., Moors, A., Odersky, M.: Type classes as objects and implicits. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, pp. 341\u2013360. ACM (2010)","DOI":"10.1145\/1932682.1869489"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Oliveira, B., Schrijvers, T., Choi, W., Lee, W., Yi, K.: The implicit calculus: a new foundation for generic programming. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2012, pp. 35\u201344 (2012)","DOI":"10.1145\/2345156.2254070"},{"issue":"2","key":"10_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. TAAS 4(2), 1\u201342 (2009)","journal-title":"TAAS"},{"key":"10_CR26","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: a programming paradigm for autonomic systems. CoRR abs\/1105.0069 (2011)"},{"issue":"2","key":"10_CR27","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2491465.2491466","volume":"8","author":"G Salvaneschi","year":"2013","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: An analysis of language-level support for self-adaptive software. ACM Trans. Auton. Adapt. Syst. 8(2), 7:1\u20137:29 (2013)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"2","key":"10_CR28","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1017\/S0956796807006466","volume":"18","author":"C Skalka","year":"2008","unstructured":"Skalka, C., Smith, S., Horn, D.V.: Types and trace effects of higher order programs. J. Funct. Program. 18(2), 179\u2013249 (2008)","journal-title":"J. Funct. Program."},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Swamy, N., Hicks, M.W., Bierman, G.M.: A theory of typed coercions and its applications. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland, UK, 2 August 31\u2013September 2009, pp. 329\u2013340 (2009)","DOI":"10.1145\/1596550.1596598"}],"container-title":["Lecture Notes in Computer Science","Programming Languages with Applications to Biology and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25527-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:26:50Z","timestamp":1558312010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25527-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255262","9783319255279"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25527-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}