{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T04:12:58Z","timestamp":1751602378766,"version":"3.41.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319897189"},{"type":"electronic","value":"9783319897196"}],"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-89719-6_5","type":"book-chapter","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T14:44:21Z","timestamp":1524062661000},"page":"79-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger"],"prefix":"10.1007","author":[{"given":"Jeff","family":"Horemans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob","family":"Reynders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Devriese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-74792-5_12","volume-title":"Formal Methods for Components and Objects","author":"E Cooper","year":"2007","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: web programming without tiers. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 266\u2013296. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74792-5_12"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Serrano, M., Gallesio, E., Loitsch, F.: Hop: a language for programming the web 2.0. In: DLS, pp. 975\u2013985 (2006)","DOI":"10.1145\/1176617.1176756"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/2775051.2677004","volume":"50","author":"Adam Chlipala","year":"2015","unstructured":"Chlipala, A.: Ur\/Web. In: POPL, pp. 153\u2013165 (2015)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Serrano, M., Prunet, V.: A glimpse of Hopjs. In: ICFP (2016)","DOI":"10.1145\/2951913.2951916"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-319-47958-3_20","volume-title":"Programming Languages and Systems","author":"G Radanne","year":"2016","unstructured":"Radanne, G., Vouillon, J., Balat, V.: Eliom: a core ML language for tierless web programming. In: Igarashi, A. (ed.) APLAS 2016. LNCS, vol. 10017, pp. 377\u2013397. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47958-3_20"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Serrano, M.: A multitier debugger for web applications. In: WEBIST, pp. 5\u201316 (2014)","DOI":"10.5220\/0004790600050016"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0956796800001313","volume":"5","author":"A Tolmach","year":"1995","unstructured":"Tolmach, A., Appel, A.W.: A debugger for standard ML. J. Funct. Program. 5(2), 155\u2013200 (1995)","journal-title":"J. Funct. Program."},{"key":"5_CR8","unstructured":"Lewis, B.: Debugging backwards in time. In: AADEBUG (2003)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Czaplicki, E., Chong, S.: Asynchronous functional reactive programming for GUIs. In: PLDI, pp. 411\u2013422 (2013)","DOI":"10.1145\/2491956.2462161"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Grishman, R.: The debugging system AIDS. In: Proceedings of the 5\u20137 May 1970, Spring Joint Computer Conference, AFIPS 1970 (Spring), pp. 59\u201364. ACM (1970)","DOI":"10.1145\/1476936.1476952"},{"key":"5_CR11","unstructured":"Geels, D., Altekar, G., Shenker, S., Stoica, I.: Replay debugging for distributed applications. In: USENIX, pp. 289\u2013300 (2006)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Burg, B., Bailey, R., Ko, A.J., Ernst, M.D.: Interactive record\/replay for web application debugging. In: UIST, pp. 473\u2013484. ACM (2013)","DOI":"10.1145\/2501988.2502050"},{"key":"5_CR13","unstructured":"Stanley, T., Close, T., Miller, M.S.: Causeway: a message-oriented distributed debugger (2009)"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89719-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T19:18:53Z","timestamp":1751570333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89719-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319897189","9783319897196"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89719-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}