{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T18:21:12Z","timestamp":1766600472537},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030283452"},{"type":"electronic","value":"9783030283469"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-28346-9_9","type":"book-chapter","created":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T04:28:34Z","timestamp":1565670514000},"page":"341-379","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Static and Dynamic Visualisations of Monadic Programs"],"prefix":"10.1007","author":[{"given":"Jurri\u00ebn","family":"Stutterheim","sequence":"first","affiliation":[]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,14]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Achten, P., Stutterheim, J., Domoszlai, L., Plasmeijer, R.: Task oriented programming with purely compositional interactive scalable vector graphics. In: Tobin-Hochstadt, S. (ed.) Proceedings of the 26Nd 2014 International Symposium on Implementation and Application of Functional Languages, IFL 2014, pp. 7:1\u20137:13. ACM, New York (2014). \n                    https:\/\/doi.org\/10.1145\/2746325.2746329","DOI":"10.1145\/2746325.2746329"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(05)80538-9","volume":"41","author":"G Andy","year":"2001","unstructured":"Andy, G.: Debugging haskell by observing intermediate data structures. Electron. Notes Theor. Comput. Sci. 41(1), 1 (2001). \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066105805389","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"6","key":"9_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1109\/TSE.2006.59","volume":"32","author":"E Arisholm","year":"2006","unstructured":"Arisholm, E., Briand, L.C., Hove, S.E., Labiche, Y.: The impact of UML documentation on software maintenance: an experimental evaluation. IEEE Trans. Softw. Eng. 32(6), 365\u2013381 (2006). \n                    http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?tp=&arnumber=1650213&contentType=Journals+","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-32037-8_11","volume-title":"Trends in Functional Programming","author":"J Henrix","year":"2012","unstructured":"Henrix, J., Plasmeijer, R., Achten, P.: GiN: a graphical language and tool for defining iTask workflows. In: Pe\u00f1a, R., Page, R. (eds.) TFP 2011. LNCS, vol. 7193, pp. 163\u2013178. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-32037-8_11"},{"key":"9_CR5","unstructured":"Nilsson, H.: Information: declarative debugging for lazy functional languages (1998). \n                    http:\/\/books.google.nl\/books?id=nQQ9AAAACAAJ&dq=intitle:Declarative+Debugging+for+Lazy+Functional+Languages&hl=&cd=1&source=gbs_api\n                    \n                  . Science, U.i.L.D.o.C"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1008681016679","volume":"4","author":"H Nilsson","year":"1997","unstructured":"Nilsson, H., Sparud, J.: The evaluation dependence tree as a basis for lazy functional debugging. Autom. Softw. Eng. 4(2), 121\u2013150 (1997). \n                    http:\/\/link.springer.com\/10.1023\/A:1008681016679","journal-title":"Autom. Softw. Eng."},{"key":"9_CR7","unstructured":"Object Management Group: Business process model and notation (BPMN) version 1.2. Technical report, Object Management Group (2009)"},{"key":"9_CR8","unstructured":"Object Modeling Group: OMG unified modeling language specification. Technical report, March 2000. \n                    http:\/\/www.omg.org\/spec\/UML\/1.3\/PDF\/index.htm"},{"key":"9_CR9","unstructured":"Object Modeling Group: OMG unified modeling language (OMG UML), infrastructure. Technical report, March 2012. \n                    http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Infrastructure\/PDF\/"},{"key":"9_CR10","unstructured":"OMG: OMG unified modeling language (OMG UML), superstructure, Version 2.4.1, August 2011. \n                    http:\/\/www.omg.org\/spec\/UML\/2.4.1"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Achten, P., Koopman, P., Lijnse, B., Van Noort, T., Van Groningen, J.: iTasks for a change: type-safe run-time change in dynamically evolving workflows. In: PEPM \u201911: Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, pp. 151\u2013160. ACM, New York (2011)","DOI":"10.1145\/1929501.1929528"},{"key":"9_CR12","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean language report (version 2.1) (2002). \n                    http:\/\/clean.cs.ru.nl"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/jvlc.1994.1005","volume":"5","author":"J Poswig","year":"1994","unstructured":"Poswig, J., Vrankar, G., Morara, C.: VisaVis: a higher-order functional visual programming language. J. Vis. Lang. Comput. 5(1), 83\u2013111 (1994). \n                    http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1045926X84710056","journal-title":"J. Vis. Lang. Comput."},{"key":"9_CR14","unstructured":"Reekie, H.J.: Visual haskell: a first attempt. Technical report (1994). \n                    http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.56.1582&rep=rep1&type=pdf"},{"key":"9_CR15","unstructured":"Reinke, C.: GHood\u2013graphical visualisation and animation of Haskell object observations. In: 2001 ACM SIGPLAN (2001). \n                    http:\/\/www.haskell.org\/haskell-workshop\/2001\/proceedings.pdf#page=127"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BFb0033851","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"J Sparud","year":"1997","unstructured":"Sparud, J., Runciman, C.: Tracing lazy functional computations using redex trails. In: Glaser, H., Hartel, P., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 291\u2013308. Springer, Heidelberg (1997). \n                    https:\/\/doi.org\/10.1007\/BFb0033851"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/BFb0055430","volume-title":"Implementation of Functional Languages","author":"J Sparud","year":"1998","unstructured":"Sparud, J., Runciman, C.: Complete and partial redex trails of functional computations. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol. 1467, pp. 160\u2013177. Springer, Heidelberg (1998). \n                    https:\/\/doi.org\/10.1007\/BFb0055430"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-319-14675-1_8","volume-title":"Trends in Functional Programming","author":"J Stutterheim","year":"2015","unstructured":"Stutterheim, J., Plasmeijer, R., Achten, P.: Tonic: an infrastructure to graphically represent the definition and behaviour of tasks. In: Hage, J., McCarthy, J. (eds.) TFP 2014. LNCS, vol. 8843, pp. 122\u2013141. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-14675-1_8"},{"key":"9_CR19","unstructured":"White, S.A.: Business process model and notation, V1.1 pp. 1\u2013318, January 2008. \n                    http:\/\/www.omg.org\/spec\/BPMN\/1.1\/PDF\/"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-28346-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T04:30:42Z","timestamp":1565670642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-28346-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030283452","9783030283469"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-28346-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 August 2019","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":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cefp2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/people.inf.elte.hu\/cefp\/cefp2015\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}