{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:37:55Z","timestamp":1760834275849,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031997167","type":"print"},{"value":"9783031997174","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"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":[[2026]]},"DOI":"10.1007\/978-3-031-99717-4_6","type":"book-chapter","created":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T19:57:40Z","timestamp":1760817460000},"page":"103-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["CESAn: A Core Erlang Semantics Analyser"],"prefix":"10.1007","author":[{"given":"Aur\u00e9lie","family":"Kong Win Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"G\u00f6ssler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"key":"6_CR1","unstructured":"Armstrong, J.L.: Making reliable distributed systems in the presence of software errors. PhD thesis, The Royal Institute of Technology Stockholm, Sweden, 2003"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bereczky, P., Horp\u00e1csi, D., Thompson, S.J.: Machine-checked natural semantics for Core Erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, pp. 1\u201313, Virtual Event USA, August 2020. ACM","DOI":"10.1145\/3406085.3409008"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.jlamp.2018.07.005","volume":"101","author":"R Caballero","year":"2018","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: Declarative debugging of concurrent erlang programs. J. Log. Algebr. Methods Programm. 101, 22\u201341 (2018)","journal-title":"J. Log. Algebr. Methods Programm."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2019.05.002","volume":"107","author":"R Caballero","year":"2019","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: A core erlang semantics for declarative debugging. J. Log. Algebr. Methods Programm. 107, 1\u201337 (2019)","journal-title":"J. Log. Algebr. Methods Programm."},{"key":"6_CR5","unstructured":"Carlsson, R., et al.: Core Erlang 1.0.3 language specification. Technical report, 2004"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol. 4350. Springer, Cham (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1","DOI":"10.1007\/978-3-540-71999-1"},{"key":"6_CR7","unstructured":"Clavel, M., et al.: Maude manual (version 3.1). SRI International University of Illinois at Urbana-Champaign, 2020. http:\/\/maude.lcc.uma.es\/maude31-manual-html\/maude-manual.html"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/978-3-642-38856-9_24","volume-title":"Static Analysis","author":"E D\u2019Osualdo","year":"2013","unstructured":"D\u2019Osualdo, E., Kochems, J., Ong, C.-H.L.: Automatic verification of erlang-style concurrency. In: Logozzo, F., F\u00e4hndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 454\u2013476. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38856-9_24"},{"key":"6_CR9","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley signature series. Addison-Wesley, Boston, second edition, 2019. OCLC: on1064139838"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Alkis Gotovos, Maria Christakis, and Konstantinos Sagonas. Test-driven development of concurrent programs using concuerror. In Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang \u201911, page\u00a051, Tokyo, Japan, 2011. ACM Press","DOI":"10.1145\/2034654.2034664"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Harrison, J.: Automatic detection of core Erlang message passing errors. In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, pp. 37\u201348, St. Louis MO USA, September 2018. ACM","DOI":"10.1145\/3239332.3242765"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Huch, F.: Verification of Erlang programs using abstract interpretation and model checking. In: Proceedings of the fourth ACM SIGPLAN international conference on functional programming, Icfp \u201999, pp. 261\u2013272, New York, NY, USA, 1999. Association for Computing Machinery. Number of pages: 12 Place: Paris, France","DOI":"10.1145\/317636.317908"},{"key":"6_CR13","unstructured":"Huch, F.: Verification of Erlang Programs using Abstract Interpretation and Model Checking. PhD thesis, RWTH Aachen, 2001"},{"key":"6_CR14","unstructured":"H\u00e9bert, F.: Stuff goes bad Erlang in anger, 2016. https:\/\/www.erlang-in-anger.com"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/s10009-004-0146-9","volume":"6","author":"HS Jin","year":"2004","unstructured":"Jin, H.S., Ravi, K., Somenzi, F.: Fate and free will in error traces. Int. J. Softw. Tools Technol. Transf. 6(2), 102\u2013116 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"6_CR16","unstructured":"Kong Win\u00a0Chang, A.: CESAn: a core erlang semantics analyser, 2025. https:\/\/gitlab.inria.fr\/dcore-pub\/erlangsemantics.git"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Kong Win Chang, A., Feret, J., G\u00f6ssler, G.: A semantics of core Erlang with handling of signals. In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, pp. 31\u201338, Seattle WA USA, August 2023. ACM","DOI":"10.1145\/3609022.3609417"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Lanese, I., G\u00f6ssler, G.: Causal debugging for concurrent systems. In: Mogensen, T.\u00c6., Mikulski, L. (eds.), Reversible Computation. RC 2024. LNCS, vol. 14680, pp. 3\u20139. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-62076-8_1","DOI":"10.1007\/978-3-031-62076-8_1"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-90686-7_16","volume-title":"Functional and Logic Programming","author":"I Lanese","year":"2018","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: Cauder: a causal-consistent reversible debugger for erlang. In: Gallagher, J.P., Sulzmann, M. (eds.) FLOPS 2018. LNCS, vol. 10818, pp. 247\u2013263. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90686-7_16"},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.entcs.2007.06.013","volume":"176","author":"M Neuh\u00e4u\u00dfer","year":"2007","unstructured":"Neuh\u00e4u\u00dfer, M., Noll, T.: Abstraction and model checking of core erlang programs in maude. Electron. Notes Theor. Comput. Sci. 176(4), 147\u2013163 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-319-63139-4_15","volume-title":"Logic-Based Program Synthesis and Transformation","author":"N Nishida","year":"2017","unstructured":"Nishida, N., Palacios, A., Vidal, G.: A reversible semantics for erlang. In: Hermenegildo, M.V., Lopez-Garcia, P. (eds.) LOPSTR 2016. LNCS, vol. 10184, pp. 259\u2013274. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63139-4_15"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Piorkowski, D.J., et al.: The whats and hows of programmers\u2019 foraging diets. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 3063\u20133072, Paris France, April 2013. ACM","DOI":"10.1145\/2470654.2466418"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Svensson, H., Fredlund, L.-\u00c5.: A more accurate semantics for distributed erlang. In: Proceedings of the 2007 SIGPLAN workshop on Erlang Workshop - Erlang \u201907, p. 43, Freiburg, Germany, 2007. ACM Press","DOI":"10.1145\/1292520.1292528"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Yal\u00e7in, M.A., Elmqvist, N., Bederson, B.B.: Cognitive stages in visual data exploration. In: Proceedings of the Sixth Workshop on Beyond Time and Errors on Novel Evaluation Methods for Visualization, pp. 86\u201395, Baltimore MD USA, October 2016. ACM","DOI":"10.1145\/2993901.2993902"}],"container-title":["Lecture Notes in Computer Science","Components Operationally: Reversibility and System Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99717-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T19:57:44Z","timestamp":1760817464000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99717-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"ISBN":["9783031997167","9783031997174"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99717-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"19 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}