{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:47:41Z","timestamp":1743029261948,"version":"3.40.3"},"publisher-location":"Cham","reference-count":61,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031428326"},{"type":"electronic","value":"9783031428333"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-42833-3_3","type":"book-chapter","created":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T12:02:09Z","timestamp":1697544129000},"page":"77-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Energy Efficient Software in\u00a0an\u00a0Engineering Course"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Saraiva","sequence":"first","affiliation":[]},{"given":"Rui","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,18]]},"reference":[{"issue":"12","key":"3_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/3154384","volume":"60","author":"G Pinto","year":"2017","unstructured":"Pinto, G., Castor, F.: Energy efficiency: a new concern for application software developers. Commun. ACM 60(12), 68\u201375 (2017)","journal-title":"Commun. ACM"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Pereira, R., Sim\u00e3o, P., Cunha, J., Saraiva, J.: jStanley: placing a green thumb on java collections. In: Proceedings of the 33rd ACM\/IEEE Int. Conference on Automated Software Engineering, ASE 2018, ACM, New York, NY, USA, pp. 856\u2013859 (2018). http:\/\/doi.acm.org\/10.1145\/3238147.3240473","DOI":"10.1145\/3238147.3240473"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Hasan, S., King, Z., Hafiz, M., Sayagh, M., Adams, B., Hindle, A.: Energy profiles of Java collections classes. In: Proceedings of the 38th International Conference on Software Engineering, pp. 225\u2013236. ACM (2016). https:\/\/doi.org\/10.1145\/2884781.2884869","DOI":"10.1145\/2884781.2884869"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Oliveira, W., Oliveira, R., Castor, F., Fernandes, B., Pinto, G.: Recommending energy-efficient Java collections. In: Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, pp. 160\u2013170. IEEE Press (2019). https:\/\/doi.org\/10.1109\/MSR.2019.00033","DOI":"10.1109\/MSR.2019.00033"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Pereira, R., Couto, M., Saraiva, J., Cunha, J., Fernandes, J.P.: The influence of the Java collection framework on overall energy consumption. In: Proceedings of the 5th International Workshop on Green and Sustainable Software, GREENS 2016, pp. 15\u201321. ACM (2016). https:\/\/doi.org\/10.1145\/2896967.2896968","DOI":"10.1145\/2896967.2896968"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Linares-V\u00e1squez, M., Bavota, G., Bernal-C\u00e1rdenas, C., Oliveto, R. Di Penta, M., Poshyvanyk, D.: Mining energy-greedy API usage patterns in android apps: an empirical study. In: Proceedings of the 11th Working Conference on Mining Software Repositories, pp. 2\u201311. ACM (2014). https:\/\/doi.org\/10.1145\/2597073.2597085","DOI":"10.1145\/2597073.2597085"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Anwar, H., Demirer, B., Pfahl, D., Srirama, S.: Should energy consumption influence the choice of android third-party http libraries? In: Proceedings of the IEEE\/ACM 7th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2020, New York, NY, USA, pp. 87\u201397. Association for Computing Machinery (2020). https:\/\/doi.org\/10.1145\/3387905.3392095","DOI":"10.1145\/3387905.3392095"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Pereira, R., et al.: Energy efficiency across programming languages: how do energy, time, and memory relate? In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, New York, NY, USA, pp. 256\u2013267. ACM (2017). http:\/\/doi.acm.org\/10.1145\/3136014.3136031","DOI":"10.1145\/3136014.3136031"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Cruz, L., Abreu, R.: Performance-based guidelines for energy efficient mobile applications. In: Proceedings of the 4th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2017, Piscataway, NJ, USA, 2017, pp. 46\u201357. IEEE Press (2017). https:\/\/doi.org\/10.1109\/MOBILESoft.2017.19","DOI":"10.1109\/MOBILESoft.2017.19"},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"2209","DOI":"10.1007\/s10664-019-09682-0","volume":"24","author":"L Cruz","year":"2019","unstructured":"Cruz, L., Abreu, R.: Catalog of energy patterns for mobile applications. Empirical Softw. Engg. 24(4), 2209\u20132235 (2019). https:\/\/doi.org\/10.1007\/s10664-019-09682-0","journal-title":"Empirical Softw. Engg."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Li, D., Halfond, W.G.J.: An investigation into energy-saving programming practices for android smartphone app development. In: Proceedings of the 3rd International Workshop on Green and Sustainable Software, GREENS 2014, New York, NY, USA, pp. 46\u201353. ACM (2014). http:\/\/doi.acm.org\/10.1145\/2593743.2593750","DOI":"10.1145\/2593743.2593750"},{"issue":"12","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1176","DOI":"10.1145\/3180155.3182524","volume":"44","author":"R Morales","year":"2018","unstructured":"Morales, R., Saborido, R., Khomh, F., Chicano, F., Antoniol, G.: EARMO: an energy-aware refactoring approach for mobile apps. IEEE Trans. Software Eng. 44(12), 1176\u20131206 (2018). https:\/\/doi.org\/10.1145\/3180155.3182524","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Couto, M., Saraiva, J., Fernandes, J.P.: Energy refactorings for android in the large and in the wild. In: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 217\u2013228. IEEE (2020). https:\/\/doi.org\/10.1109\/SANER48275.2020.9054858","DOI":"10.1109\/SANER48275.2020.9054858"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Rua, R., Couto, M., Saraiva, J.: GreenSource: a large-scale collection of android code, tests and energy metrics. In: 2019 IEEE\/ACM 16th International Conference on Mining Software Repositories (MSR), pp. 176\u2013180. IEEE Press (2019). https:\/\/doi.org\/10.1109\/MSR.2019.00035","DOI":"10.1109\/MSR.2019.00035"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Manotas, I., et al.: An empirical study of practitioners\u2019 perspectives on green software engineering. In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, New York, NY, USA, pp. 237\u2013248. Association for Computing Machinery (2016). https:\/\/doi.org\/10.1145\/2884781.2884810","DOI":"10.1145\/2884781.2884810"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Pinto, G., Castor, F., Liu, Y.D.: Mining questions about software energy consumption. In: Proceedings of the 11th Working Conference on Mining Software Repositories, pp. 22\u201331. ACM (2014). https:\/\/doi.org\/10.1145\/2597073.2597110","DOI":"10.1145\/2597073.2597110"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MS.2015.83","volume":"33","author":"C Pang","year":"2016","unstructured":"Pang, C., Hindle, A., Adams, B., Hassan, A.E.: What do programmers know about software energy consumption? IEEE Softw. 33(3), 83\u201389 (2016). https:\/\/doi.org\/10.1109\/MS.2015.83","journal-title":"IEEE Softw."},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Cai, Y.: Integrating sustainability into undergraduate computing education. In: Proceedings of the 41st ACM Technical Symposium on Computer Science Education, SIGCSE 2010, New York, NY, USA, pp. 524\u2013528. ACM (2010). https:\/\/doi.org\/10.1145\/1734263.1734439","DOI":"10.1145\/1734263.1734439"},{"key":"3_CR19","unstructured":"Brundtland, G.H.: Our common future, from one earth to one world - an overview by the world commission on environment and development (1987). https:\/\/sustainabledevelopment.un.org\/content\/documents\/5987our-common-future.pdf"},{"key":"3_CR20","unstructured":"Harris, J.: Basic principles of sustainable development. In: Bawa, S.K., Seidler, R. (eds.) Dimensions of Sustainable Development, vol. 1, Encyclopedia of Life Support Systems - EOLSS, Oxford, United Kingdom, Ch. 2, pp. 21\u201340 (2009)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/0-306-48515-X_16","volume-title":"Higher Education and the Challenge of Sustainability","author":"G Appel","year":"2004","unstructured":"Appel, G., Dankelman, I., Kuipers, K.: Disciplinary explorations of sustainable development in higher education. In: Corcoran, P.B., Wals, A.E.J. (eds.) Higher Education and the Challenge of Sustainability, pp. 213\u2013222. Springer, Dordrecht (2004). https:\/\/doi.org\/10.1007\/0-306-48515-X_16"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s10755-007-9052-x","volume":"32","author":"K Sammalisto","year":"2008","unstructured":"Sammalisto, K., Lindhqvist, T.: Integration of sustainability in higher education: a study with international perspectives. Innov. High. Educ. 32, 221\u2013233 (2008). https:\/\/doi.org\/10.1007\/s10755-007-9052-x","journal-title":"Innov. High. Educ."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Turkin, I., Vykhodets, Y.: Software engineering master\u2019s program and green IT: the design of the software engineering sustainability course. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies, pp. 662\u2013666 (2018)","DOI":"10.1109\/DESSERT.2018.8409215"},{"key":"3_CR24","unstructured":"Kaivola, T., Rohweder, L. (eds.): Towards sustainable development in higher education - reflections, no. 2007:6 in Opetusministeri\u00f6n julkaisuja, Opetusministeri\u00f6, koulutus- ja tiedepolitiikan osasto, Finland (2007)"},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Xiong, W., Mok, K.H.: Sustainability practices of higher education institutions in Hong Kong: a case study of a sustainable campus consortium. Sustainability (2), 452 (2020). https:\/\/doi.org\/10.3390\/su12020452","DOI":"10.3390\/su12020452"},{"issue":"7","key":"3_CR26","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/2209249.2209261","volume":"55","author":"RT Watson","year":"2012","unstructured":"Watson, R.T., Corbett, J., Boudreau, M.C., Webster, J.: An information strategy for environmental sustainability. Commun. ACM 55(7), 28\u201330 (2012). https:\/\/doi.org\/10.1145\/2209249.2209261","journal-title":"Commun. ACM"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/1473195.1473241","volume":"40","author":"S Mann","year":"2008","unstructured":"Mann, S., Smith, L., Muller, L.: Computing education for sustainability. SIGCSE Bull. 40(4), 183\u2013193 (2008). https:\/\/doi.org\/10.1145\/1473195.1473241","journal-title":"SIGCSE Bull."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Becker, C., et al.: Venters, sustainability design and software: the Karlskrona manifesto. In: Proceedings of the 37th International Conference on Software Engineering - Volume 2, ICSE 2015, pp. 467\u2013476. IEEE Press (2015)","DOI":"10.1109\/ICSE.2015.179"},{"key":"3_CR29","doi-asserted-by":"publisher","unstructured":"Torre, D., Procaccianti, G., Fucci, D., Lutovac, S., Scanniello, G.: On the presence of green and sustainable software engineering in higher education curricula. In: Proceedings of the 1st International Workshop on Software Engineering Curricula for Millennials, SECM 2017, pp. 54\u201360. IEEE Press (2017). https:\/\/doi.org\/10.1109\/SECM.2017.4","DOI":"10.1109\/SECM.2017.4"},{"key":"3_CR30","doi-asserted-by":"publisher","unstructured":"Penzenstadler, B., et al.: Everything is interrelated: teaching software engineering for sustainability. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2018, New York, NY, USA, pp. 153\u2013162. Association for Computing Machinery (2018). https:\/\/doi.org\/10.1145\/3183377.3183382","DOI":"10.1145\/3183377.3183382"},{"key":"3_CR31","doi-asserted-by":"publisher","unstructured":"Hamilton, M.: Learning and teaching computing sustainability. In: Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2015, New York, NY, USA, pp. 338. ACM (2015). https:\/\/doi.org\/10.1145\/2729094.2754850","DOI":"10.1145\/2729094.2754850"},{"issue":"2","key":"3_CR32","first-page":"220","volume":"30","author":"K Abernethy","year":"2014","unstructured":"Abernethy, K., Treu, K.: Integrating sustainability across the computer science curriculum. J. Comput. Sci. Coll. 30(2), 220\u2013228 (2014). https:\/\/dl.acm.org\/doi\/10.1145\/1734263.1734439","journal-title":"J. Comput. Sci. Coll."},{"key":"3_CR33","doi-asserted-by":"publisher","unstructured":"Saraiva, J., Zong, Z., Pereira, R.: Bringing green software to computer science curriculum: perspectives from researchers and educators. In: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2021, New York, NY, USA, pp. 498\u2013504. ACM (2021). https:\/\/doi.org\/10.1145\/3430665.3456386","DOI":"10.1145\/3430665.3456386"},{"key":"3_CR34","doi-asserted-by":"publisher","unstructured":"Pattinson, C.: ICT and green sustainability research and teaching. IFAC-PapersOnLine 50 (1), 12938\u201312943 (2017). 20th IFAC World Congress. https:\/\/doi.org\/10.1016\/j.ifacol.2017.08.1794","DOI":"10.1016\/j.ifacol.2017.08.1794"},{"key":"3_CR35","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-48523-2_3","volume-title":"Trends and Applications in Software Engineering","author":"KR Berntsen","year":"2017","unstructured":"Berntsen, K.R., Olsen, M.R., Limbu, N., Tran, A.T., Colomo-Palacios, R.: Sustainability in software engineering - a systematic mapping. In: CIMPS 2016. AISC, vol. 537, pp. 23\u201332. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48523-2_3"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Wolfram, N., Lago, P., Osborne, F.: Sustainability in software engineering. In: Sustainable Internet and ICT for Sustainability (SustainIT) 2017, pp. 1\u20137 (2017)","DOI":"10.23919\/SustainIT.2017.8379798"},{"key":"3_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08581-4","volume-title":"Green in Software Engineering","author":"C Calero","year":"2015","unstructured":"Calero, C., Piattini, M.: Green in Software Engineering. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-08581-4"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Luttik, S.P., Visser, E.: Specification of rewriting strategies. In: Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications, Algebraic 1997, Swindon, GBR, p. 9. BCS Learning & Development Ltd. (1997)","DOI":"10.14236\/ewic\/AL1997.9"},{"key":"3_CR39","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45587-6_10","volume-title":"Practical Aspects of Declarative Languages","author":"R L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: Typed combinators for generic traversal. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, pp. 137\u2013154. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45587-6_10"},{"issue":"5","key":"3_CR40","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/503271.503260","volume":"26","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E.: Aspect-oriented programming. SIGSOFT Softw. Eng. Notes 26(5), 313 (2001). https:\/\/doi.org\/10.1145\/503271.503260","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"3_CR41","doi-asserted-by":"publisher","unstructured":"David, H., Gorbatov, E., Hanebutte, U.R., Khanna, R., Le, C.: RAPL: memory power estimation and capping. In: International Symposium on Low-Power Electronics and Design (ISLPED), 2010 ACM\/IEEE, pp. 189\u2013194. IEEE (2010). https:\/\/doi.org\/10.1145\/1840845.1840883","DOI":"10.1145\/1840845.1840883"},{"issue":"3","key":"3_CR42","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2425248.2425252","volume":"40","author":"M H\u00e4hnel","year":"2012","unstructured":"H\u00e4hnel, M., D\u00f6bel, B., V\u00f6lp, M., H\u00e4rtig, H.: Measuring energy consumption for short code paths using RAPL. SIGMETRICS Perform. Eval. Rev. 40(3), 13\u201317 (2012). https:\/\/doi.org\/10.1145\/2425248.2425252","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"3_CR43","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley Longman Publishing Co., Inc., USA (1999)"},{"issue":"2","key":"3_CR44","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T Mens","year":"2004","unstructured":"Mens, T., Tourw\u00e9, T.: A survey of software refactoring. IEEE Trans. Softw. Eng. 30(2), 126\u2013139 (2004). https:\/\/doi.org\/10.1109\/TSE.2004.1265817","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"3_CR45","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/2160718.2160733","volume":"55","author":"E Allman","year":"2012","unstructured":"Allman, E.: Managing technical debt. Commun. ACM 55(5), 50\u201355 (2012). https:\/\/doi.org\/10.1145\/2160718.2160733","journal-title":"Commun. ACM"},{"key":"3_CR46","doi-asserted-by":"publisher","unstructured":"Couto, M., Maia, D., Saraiva, J., Pereira, R.: On energy debt: managing consumption on evolving software. In: Proceedings of the 3rd International Conference on Technical Debt, TechDebt 2020, ACM, New York, NY, USA, pp. 62\u201366 (2020). https:\/\/doi.org\/10.1145\/3387906.3388628","DOI":"10.1145\/3387906.3388628"},{"issue":"8","key":"3_CR47","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Software Eng. 42(8), 707\u2013740 (2016). https:\/\/doi.org\/10.1109\/TSE.2016.2521368","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.: On the accuracy of spectrum-based fault localization, in: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, pp. 89\u201398 (2007)","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"3_CR49","doi-asserted-by":"publisher","unstructured":"Pereira, R., T. Car\u00e7\u00e3o, Couto, M., Cunha, J., Fernandes, J.P., Saraiva, J.: Helping programmers improve the energy efficiency of source code. In: Proceedings of the 39th International Conference on Software Engineering Companion, ICSE-C 2017, Piscataway, NJ, USA, pp. 238\u2013240. IEEE Press (2017). https:\/\/doi.org\/10.1109\/ICSE-C.2017.80","DOI":"10.1109\/ICSE-C.2017.80"},{"key":"3_CR50","doi-asserted-by":"publisher","unstructured":"Pereira, R., Car\u00e7\u00e3o, T., Couto, M., Cunha, J., Fernandes, J.P., Saraiva, J.: Spelling out energy leaks: aiding developers locate energy inefficient code. J. Syst. Software 161 (2020). https:\/\/doi.org\/10.1016\/j.jss.2019.110463","DOI":"10.1016\/j.jss.2019.110463"},{"issue":"12","key":"3_CR51","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/3318162","volume":"62","author":"CL Goues","year":"2019","unstructured":"Goues, C.L., Pradel, M., Roychoudhury, A.: Automated program repair. Commun. ACM 62(12), 56\u201365 (2019). https:\/\/doi.org\/10.1145\/3318162","journal-title":"Commun. ACM"},{"key":"3_CR52","unstructured":"Pereira, R., Couto, M., Ribeiro, F., Rua, R., Saraiva, J.: Energyware analysis. In: 7th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications (SQAMIA), vol. 2217, CEUR Workshop Proceedings (2018)"},{"key":"3_CR53","unstructured":"Pereira, R.: Energyware engineering: techniques and tools for green software development, Ph.D. thesis, Universidade do Minho (2018)"},{"key":"#cr-split#-3_CR54.1","doi-asserted-by":"crossref","unstructured":"Saraiva, J., Abreu, R., Cunha, J., Fernandes, J.P.: GreenSoftwareLab: towards an engineering discipline for green software, Impact 2018","DOI":"10.21820\/23987073.2018.9"},{"key":"#cr-split#-3_CR54.2","doi-asserted-by":"crossref","unstructured":"(1) (2018). https:\/\/doi.org\/10.21820\/23987073.2018.9","DOI":"10.21820\/23987073.2018.9"},{"key":"3_CR55","doi-asserted-by":"publisher","unstructured":"Maia, D., Couto, M., Saraiva, J., Pereira, R.: E-Debitum: managing software energy debt. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering Workshops, New York, NY, USA, pp. 170\u2013177. ACM (2020). https:\/\/doi.org\/10.1145\/3417113.3422999","DOI":"10.1145\/3417113.3422999"},{"key":"3_CR56","doi-asserted-by":"publisher","unstructured":"Kiselyov, O., Biboudis, A., Palladinos, N., Smaragdakis, Y.: Stream fusion, to completeness. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, New York, NY, USA, pp. 285\u2013299. Association for Computing Machinery (2017). https:\/\/doi.org\/10.1145\/3009837.3009880","DOI":"10.1145\/3009837.3009880"},{"issue":"2","key":"3_CR57","doi-asserted-by":"publisher","first-page":"541","DOI":"10.2298\/CSIS180608009L","volume":"16","author":"M Longo","year":"2019","unstructured":"Longo, M., Rodriguez, A., Mateos, C., Zunino, A.: Reducing energy usage in resource-intensive Java-based scientific applications via micro-benchmark based code refactorings. Comput. Sci. Inf. Syst. 16(2), 541\u2013564 (2019). https:\/\/doi.org\/10.2298\/CSIS180608009L","journal-title":"Comput. Sci. Inf. Syst."},{"key":"3_CR58","doi-asserted-by":"crossref","unstructured":"Melfe, G., Fonseca, A., Fernandes, J.P.: Helping developers write energy efficient haskell through a data-structure evaluation. In: 2018 IEEE\/ACM 6th International Workshop on Green And Sustainable Software (GREENS), pp. 9\u201315. IEEE (2018). https:\/\/doi.org\/10.1145\/3194078.3194080","DOI":"10.1145\/3194078.3194080"},{"key":"3_CR59","doi-asserted-by":"publisher","unstructured":"Ribeiro, F., Saraiva, J., Pardo, A.: Java stream fusion: adapting FP mechanisms for an OO setting. In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, New York, NY, USA, pp. 30\u201337. ACM (2019). https:\/\/doi.org\/10.1145\/3355378.3355386","DOI":"10.1145\/3355378.3355386"},{"key":"3_CR60","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, W.L., et al.: Understanding the impact of introducing lambda expressions in Java programs. J. Software Eng. Res. Dev. 8(1\u20138), 22 (2020). https:\/\/sol.sbc.org.br\/journals\/index.php\/jserd\/article\/view\/744","DOI":"10.5753\/jserd.2020.744"}],"container-title":["Lecture Notes in Computer Science","Composability, Comprehensibility and Correctness of Working Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-42833-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T12:02:51Z","timestamp":1697544171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-42833-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031428326","9783031428333"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-42833-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"18 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CEFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Central European Functional Programming School","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Budapest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hungary","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cefp2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/people.inf.elte.hu\/cefp\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}