{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:04:54Z","timestamp":1743069894924,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319391090"},{"type":"electronic","value":"9783319391106"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-39110-6_5","type":"book-chapter","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T06:09:50Z","timestamp":1462946990000},"page":"85-103","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming"],"prefix":"10.1007","author":[{"given":"Baltasar","family":"Tranc\u00f3n y Widemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Lepper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,12]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1147\/sj.41.0025","volume":"4","author":"JE Bresenham","year":"1965","unstructured":"Bresenham, J.E.: Algorithm for computer control of a digital plotter. IBM Syst. J. 4(1), 25\u201330 (1965)","journal-title":"IBM Syst. J."},{"key":"5_CR2","unstructured":"Caspi, P., Pouzet, M.: Lucid Synchrone, a functional extension of Lustre. Technical report, Universit\u00e9 Pierre et Marie Curie, Laboratoire LIP6 (2000)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Fujita, M., Rajan, S.P., Reps, T., Shankar, S., Teitelbaum, T.: Program slicing of hardware description languages. Technical report, Carnegie Mellon University (1999)","DOI":"10.21236\/ADA363556"},{"issue":"5","key":"5_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S1571-0661(05)80440-2","volume":"65","author":"V Ganapathy","year":"2002","unstructured":"Ganapathy, V., Ramesh, S.: Slicing synchronous reactive programs. SLAP 2002, ENTCS 65(5), 50\u201364 (2002). doi: 10.1016\/S1571-0661(05)80440-2","journal-title":"SLAP 2002, ENTCS"},{"key":"5_CR5","unstructured":"Hack, S.: Register Allocation for Programs in SSA Form. Ph.D. Thesis, Universit\u00e4t Karlsruhe, (2007). http:\/\/digbib.ubka.uni-karlsruhe.de\/volltexte\/documents\/6532"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-44833-4_6","volume-title":"Advanced Functional Programming","author":"P Hudak","year":"2003","unstructured":"Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Arrows, robots, and functional reactive programming. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol. 2638, pp. 159\u2013187. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-44833-4_6"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11546382_2","volume-title":"Advanced Functional Programming","author":"J Hughes","year":"2005","unstructured":"Hughes, J.: Programming with arrows. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol. 3622, pp. 73\u2013129. Springer, Heidelberg (2005)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1017\/S0956796811000153","volume":"21","author":"H Liu","year":"2011","unstructured":"Liu, H., Cheng, E., Hudak, P.: Causal commutative arrows. J. Funct. Program. 21, 467\u2013496 (2011). doi: 10.1017\/S0956796811000153","journal-title":"J. Funct. Program."},{"key":"5_CR9","unstructured":"Loth, A.: Synthese von Kontrollfluss f\u00fcr eine Synchrone Datenflusssprache. Master\u2019s thesis, Technische Universit\u00e4t Ilmenau (2015)"},{"issue":"9","key":"5_CR10","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/s00500-004-0388-1","volume":"8","author":"Y Orlarey","year":"2004","unstructured":"Orlarey, Y., Fober, D., Letz, S.: Syntactical and semantical aspects of Faust. Soft Comput. 8(9), 623\u2013632 (2004). doi: 10.1007\/s00500-004-0388-1","journal-title":"Soft Comput."},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Petricek, T., Mycroft, A., Syme, D.: Extending monads with pattern matching. In: Haskell Symposium 2011, pp. 1\u201312. ACM (2011). doi: 10.1145\/2034675.2034677","DOI":"10.1145\/2034675.2034677"},{"key":"5_CR12","unstructured":"Rodrigues, N.F., Barbosa, L.S.: Slicing functional programs by calculation. In: Beyond Program Slicing. Dagstuhl Seminar 05451 (2005)"},{"key":"5_CR13","unstructured":"Tranc\u00f3n y Widemann, B., Lepper, M.: tSig: Towards semantics for a functional synchronous signal language. In: KPS 2011, Arbeitsbericht des Instituts f\u00fcr Wirtschaftsinformatik 132, pp. 163\u2013168. Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster (2011). https:\/\/www.wi.uni-muenster.de\/sites\/default\/files\/publications\/arbeitsberichte\/ab132.pdf"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.4204\/EPTCS.153.10","volume":"153","author":"Baltasar Tranc\u00f3n y Widemann","year":"2014","unstructured":"Tranc\u00f3n y Widemann, B., Lepper, M.: Foundations of total functional dataflow programming. In: MSFP 2014, EPTCS 153, pp. 143\u2013167 (2014). doi: 10.4204\/EPTCS.153.10","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Tranc\u00f3n y Widemann, B., Lepper, M.: Sound, soundness: practical total functional data-flow programming. In: FARM 2014, pp. 35\u201336. ACM (2014). Demo abstract. doi: 10.1145\/2633638.2633644","DOI":"10.1145\/2633638.2633644"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Tranc\u00f3n y Widemann, B., Lepper, M.: The Shepard tone, higher-order multi-rate synchronous data-flow programming in Sig. In: FARM 2015, pp. 6\u201314. ACM (2015). doi: 10.1145\/2808083.2808086","DOI":"10.1145\/2808083.2808086"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Program slicing. In: ICSE 1981, pp. 439\u2013449. IEEE (1981)","DOI":"10.7901\/2169-3358-1981-1-439"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39110-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T08:27:33Z","timestamp":1655800053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39110-6_5"}},"subtitle":["Research Paper"],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319391090","9783319391106"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39110-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"12 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}