{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:07:07Z","timestamp":1762459627425,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319906850"},{"type":"electronic","value":"9783319906867"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-90686-7_16","type":"book-chapter","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T13:49:55Z","timestamp":1524491395000},"page":"247-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":45,"title":["CauDEr: A Causal-Consistent Reversible Debugger for Erlang"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2527-9995","authenticated-orcid":false,"given":"Ivan","family":"Lanese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8697-4970","authenticated-orcid":false,"given":"Naoki","family":"Nishida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8747-1790","authenticated-orcid":false,"given":"Adri\u00e1n","family":"Palacios","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1857-6951","authenticated-orcid":false,"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,24]]},"reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/978-3-642-54862-8_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Caballero","year":"2014","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: EDD: a declarative debugger for sequential Erlang programs. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 581\u2013586. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54862-8_49"},{"key":"16_CR2","unstructured":"Carlsson, R., et al.: Core Erlang 1.0.3 language specification (2004). \nhttps:\/\/www.it.uu.se\/research\/group\/hipe\/cerl\/doc\/core_erlang-1.0.3.pdf"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Claessen, K., et al.: Finding race conditions in Erlang with QuickCheck and PULSE. In: ICFP, pp. 149\u2013160. ACM (2009)","DOI":"10.1145\/1596550.1596574"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-28644-8_19"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/978-3-642-38856-9_24","volume-title":"Static Analysis","author":"Emanuele D\u2019Osualdo","year":"2013","unstructured":"D\u2019Osualdo, E., Kochems, J., Ong, C.-H.L.: Automatic verification of Erlang-style concurrency. In: Logozzo, F., F\u00e4ahndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 454\u2013476. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-38856-9_24"},{"issue":"9","key":"16_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/1291220.1291171","volume":"42","author":"Lars-\u00c5ke Fredlund","year":"2007","unstructured":"Fredlund, L.A., Svensson, H.: McErlang: a model checker for a distributed functional programming language. In: ICFP, pp. 125\u2013136. ACM (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-54804-8_26","volume-title":"Fundamental Approaches to Software Engineering","author":"E Giachino","year":"2014","unstructured":"Giachino, E., Lanese, I., Mezzina, C.A.: Causal-consistent reversible debugging. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 370\u2013384. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54804-8_26"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jlamp.2016.09.003","volume":"88","author":"E Giachino","year":"2017","unstructured":"Giachino, E., Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent rollback in a tuple-based language. J. Log. Algebr. Meth. Program. 88, 99\u2013120 (2017)","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Giantsios, A., Papaspyrou, N., Sagonas, K.: Concolic testing for functional languages. In: PPDP, pp. 137\u2013148. ACM (2015)","DOI":"10.1145\/2790449.2790519"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Gotovos, A., Christakis, M., Sagonas, K.: Test-driven development of concurrent programs using Concuerror. In: 10th ACM SIGPLAN Workshop on Erlang, pp. 51\u201361. ACM (2011)","DOI":"10.1145\/2034654.2034664"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183\u2013191 (1961)","journal-title":"IBM J. Res. Dev."},{"key":"16_CR12","first-page":"19","volume":"114","author":"I Lanese","year":"2014","unstructured":"Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS 114, 19 (2014)","journal-title":"Bull. EATCS"},{"key":"16_CR13","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: A theory of reversibility for Erlang (2017). Submitted for publication. \nhttp:\/\/users.dsic.upv.es\/~gvidal\/lnpv17\/paper.pdf"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30793-5_1","volume-title":"Formal Techniques for Distributed Systems","author":"M Lienhardt","year":"2012","unstructured":"Lienhardt, M., Lanese, I., Mezzina, C.A., Stefani, J.-B.: A reversible abstract machine and its space overhead. In: Giese, H., Rosu, G. (eds.) FMOODS\/FORTE -2012. LNCS, vol. 7273, pp. 1\u201317. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-30793-5_1"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Lindahl, T., Sagonas, K.: Practical type inference based on success typings. In: PPDP, pp. 167\u2013178. ACM Press (2006)","DOI":"10.1145\/1140335.1140356"},{"key":"16_CR16","unstructured":"Lopez, C.T., Marr, S., M\u00f6ssenb\u00f6ck, H., Boix, E.G.: A study of concurrency bugs and advanced development support for actor-based programs. CoRR abs\/1706.07372 (2017)"},{"key":"16_CR17","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). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63139-4_15"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Sagonas, K.: A PropEr integration of types and function specifications with property-based testing. In: 10th ACM SIGPLAN Workshop on Erlang, pp. 39\u201350. ACM (2011)","DOI":"10.1145\/2034654.2034663"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Shibanai, K., Watanabe, T.: Actoverse: a reversible debugger for actors. In: AGERE, pp. 50\u201357. ACM (2017)","DOI":"10.1145\/3141834.3141840"},{"key":"16_CR20","unstructured":"Stanley, T., Close, T., Miller, M.S.: Causeway: a message-oriented distributed debugger. Technical report, HPL-2009-78 (2009). \nhttp:\/\/www.hpl.hp.com\/techreports\/2009\/HPL-2009-78.html"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Svensson, H., Fredlund, L.A., Earle, C.B.: A unified semantics for future Erlang. In: 9th ACM SIGPLAN Workshop on Erlang, pp. 23\u201332. ACM (2010)","DOI":"10.1145\/1863509.1863514"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90686-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T13:55:10Z","timestamp":1524491710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90686-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319906850","9783319906867"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90686-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}