{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:00:33Z","timestamp":1745946033015},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199144"},{"type":"electronic","value":"9781447135739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3573-9_1","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T01:22:28Z","timestamp":1357348948000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["Expression Refinement: Deriving Bresenham\u2019s Algorithm"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bunkenburg","sequence":"first","affiliation":[]},{"given":"Sharon","family":"Flynn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Roland Backhouse. An exploration of the Bird-Meertens Formalism. International Summerschool on Constructive Algorithmics, Ameland\n                1989, September 1989."},{"key":"1_CR2","volume-title":"M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series. Springer Verlag","author":"S Richard","year":"1986","unstructured":"Richard S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series. Springer Verlag, 1986."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"J. E. Bresenham. An algorithm for computer control of a digital plotter. IBM Syst. J., 4(1):25 \u2014 30, 1965.","DOI":"10.1147\/sj.41.0025"},{"key":"1_CR4","unstructured":"John Launchbury. Lazy imperative programming. ACM SigPlan Workshop on State in Prog. Langs., June 1993."},{"key":"1_CR5","volume-title":"Programming Languages Design and Implementation","author":"J Launchbury","year":"1994","unstructured":"John Launchbury and Simon Peyton Jones. Lazy functional state threads. In Programming Languages Design and Implementation, 1994."},{"key":"1_CR6","unstructured":"Lambert Meertens. Algorithmics - towards programming as a mathematical activity. Mathematics and Computer Science, 1, 1986. CWI Monographs (J. W. de Bakker, M. Hazewinkel, J. K. Lenstra, eds.) North Holland, Puhl. Co."},{"key":"1_CR7","volume-title":"Edsger W. Dijkstra, editor, Formal Development of Programs and Proofs, University of Texas at Austin Year of Programming Series, chapter 9, pages 81115. Addison-Wesley","author":"JM Morris","year":"1989","unstructured":"J.M. Morris. Programs from Specifications. In Edsger W. Dijkstra, editor, Formal Development of Programs and Proofs, University of Texas at Austin Year of Programming Series, chapter 9, pages 81115. Addison-Wesley, 1989."},{"key":"1_CR8","volume-title":"Programming from Specifications","author":"C Morgan","year":"1990","unstructured":"C. Morgan. Programming from Specifications. Prentice Hall, U.K., 1990."},{"key":"1_CR9","first-page":"5","volume-title":"Functional Programming, Glasgow 1993, Workshops in Computing Science, pages 193 \u2014 200. Springer Verlag, July 1993. Proceedings of the 1993 Glasgow Workshop on Functional Programming","author":"T John","year":"1993","unstructured":"John T. O\u2019Donnell. Bidirectional fold and scan. In John T. O\u2019Donnell and Kevin Hammond, editors, Functional Programming, Glasgow\n                1993, Workshops in Computing Science, pages 193 \u2014 200. Springer Verlag, July 1993. Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5\u20137 July 1993."},{"key":"1_CR10","volume-title":"Principles of Programming Languages","author":"SLP Jones","year":"1993","unstructured":"Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. Principles of Programming Languages, January 1993."},{"key":"1_CR11","volume-title":"Springer Verlag","author":"LA Jan","year":"1993","unstructured":"Jan L. A. Snepscheut. What computing is all about. Texts and Monographs in Computer Science. Springer Verlag, 1993."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Robert F. Sproull. Using program transformations to derive line-drawing algorithms. ACM Transactions on Graphics, 1(4):259 \u2014 273, October 1982.","DOI":"10.1145\/357311.357312"},{"key":"1_CR13","unstructured":"Rod Salmon and Mel Slater. Computer Graphics, Systems and Concepts. Addison Wesley, 1987."},{"key":"1_CR14","volume-title":"Presented at 19th Annual Symposium on Principles of Programming languages","author":"P Wadler","year":"1992","unstructured":"Philip Wadler. The essence of functional programming. January 1992. Presented at 19th Annual Symposium on Principles of Programming languages, Albuquerque, New Mexico."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3573-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T02:22:58Z","timestamp":1557454978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3573-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199144","9781447135739"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3573-9_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}