{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:49:31Z","timestamp":1725752971048},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319026534"},{"type":"electronic","value":"9783319026541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02654-1_10","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T01:25:32Z","timestamp":1382318732000},"page":"177-196","source":"Crossref","is-referenced-by-count":3,"title":["A Pretty Good Formatting Pipeline"],"prefix":"10.1007","author":[{"given":"Anya Helene","family":"Bagge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tero","family":"Hasu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/226155.226156","volume":"5","author":"M.G.J. Brand van den","year":"1996","unstructured":"van den Brand, M.G.J., Visser, E.: Generation of formatters for context-free languages. ACM Transactions on Software Engineering and Methodology\u00a05(1), 1\u201341 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/1053468.1053473","volume":"27","author":"O. Chitil","year":"2005","unstructured":"Chitil, O.: Pretty printing with lazy dequeues. ACM Trans. Program. Lang. Syst.\u00a027, 163\u2013184 (2005)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/1044201.1044202","volume":"16","author":"J. Coutaz","year":"1985","unstructured":"Coutaz, J.: A layout abstraction for user-system interface. SIGCHI Bull.\u00a016(3), 18\u201324 (1985), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/1044201.1044202","journal-title":"SIGCHI Bull."},{"key":"10_CR4","unstructured":"Flatt, M.: PLT: Reference: Racket. Tech. Rep. PLT-TR-2010-1, PLT Inc (2010), \n                    \n                      http:\/\/racket-lang.org\/tr1\/"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-59451-5_3","volume-title":"Advanced Functional Programming","author":"J. Hughes","year":"1995","unstructured":"Hughes, J.: The design of a pretty-printing library. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925, pp. 53\u201396. Springer, Heidelberg (1995)"},{"issue":"1-2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.scico.2007.11.002","volume":"72","author":"S. Jackson","year":"2008","unstructured":"Jackson, S., Devanbu, P., Ma, K.L.: Stable, flexible, peephole pretty-printing. Science of Computer Programming\u00a072(1-2), 40\u201351 (2008)","journal-title":"Science of Computer Programming"},{"key":"10_CR7","unstructured":"James, R.P., Sabry, A.: Yield: Mainstream delimited continuations. In: First International Workshop on the Theory and Practice of Delimited Continuations, TPDC 2011 (May 2011)"},{"key":"10_CR8","unstructured":"de Jonge, M.: A pretty-printer for every occasion. In: Ferguson, I., Gray, J., Scott, L. (eds.) Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET 2000), University of Wollongong, Australia, pp. 68\u201377 (June 2000)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-35182-2_14","volume-title":"Programming Languages and Systems","author":"O. Kiselyov","year":"2012","unstructured":"Kiselyov, O., Peyton-Jones, S., Sabry, A.: Lazy v. Yield: Incremental, linear pretty-printing. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol.\u00a07705, pp. 190\u2013206. Springer, Heidelberg (2012)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1109\/SCAM.2009.28","volume-title":"SCAM 2009: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation","author":"P. Klint","year":"2009","unstructured":"Klint, P., van der Storm, T., Vinju, J.: Rascal: A domain specific language for source code analysis and manipulation. In: SCAM 2009: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 168\u2013177. IEEE Computer Society, Washington, DC (2009)"},{"issue":"11","key":"10_CR11","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/365660.365673","volume":"8","author":"W.M. McKeeman","year":"1965","unstructured":"McKeeman, W.M.: Algorithm 268: Algol 60 reference language editor. Commun. ACM\u00a08(11), 667\u2013668 (1965)","journal-title":"Commun. ACM"},{"issue":"11","key":"10_CR12","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/182.358437","volume":"26","author":"R.J. Miara","year":"1983","unstructured":"Miara, R.J., Musselman, J.A., Navarro, J.A., Shneiderman, B.: Program indentation and comprehensibility. Commun. ACM\u00a026(11), 861\u2013867 (1983)","journal-title":"Commun. ACM"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Okasaki, C.: Purely Functional Data Structures. Cambridge University Press (1999)","DOI":"10.1017\/CBO9780511530104"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/357114.357115","volume":"2","author":"D.C. Oppen","year":"1980","unstructured":"Oppen, D.C.: Prettyprinting. ACM Trans. Program. Lang. Syst.\u00a02, 465\u2013483 (1980)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Reiss, S.P.: Automatic code stylizing. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, pp. 74\u201383 (November 2007)","DOI":"10.1145\/1321631.1321645"},{"key":"10_CR16","unstructured":"Swierstra, S.D.: Linear, online, functional pretty printing (corrected and extended version). Tech. Rep. UU-CS-2004-025a, Department of Information and Computing Sciences, Utrecht University (2004)"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796808006990","volume":"19","author":"S.D. Swierstra","year":"2009","unstructured":"Swierstra, S.D., Chitil, O.: Linear, bounded, functional pretty-printing. Journal of Functional Programming\u00a019(1), 1\u201316 (2009)","journal-title":"Journal of Functional Programming"},{"key":"10_CR18","unstructured":"Wadler, P.: A prettier printer. In: Gibbons, J., de\u00a0Moor, O. (eds.) The Fun of Programming. Cornerstones of Computing. Palgrave Macmillan (June 2005)"},{"key":"10_CR19","unstructured":"Wadler, P., Taha, W., Macqueen, D.: How to add laziness to a strict language without even being odd. In: Workshop on Standard ML, Baltimore, Maryland (1998)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02654-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:57:27Z","timestamp":1558627047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02654-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026534","9783319026541"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02654-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}