{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:00:10Z","timestamp":1761894010512},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1984,10,1]],"date-time":"1984-10-01T00:00:00Z","timestamp":465436800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1984,10]]},"DOI":"10.1007\/bf00264249","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T07:04:43Z","timestamp":1096441483000},"page":"239-250","source":"Crossref","is-referenced-by-count":110,"title":["Using circular programs to eliminate multiple traversals of data"],"prefix":"10.1007","volume":"21","author":[{"given":"R. S.","family":"Bird","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Programs and Machines ? An Introduction to the Theory of Computation","author":"R.S. Bird","year":"1976","unstructured":"Bird, R.S.: Programs and Machines ? An Introduction to the Theory of Computation. London: John Wiley 1976"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. J. ACM 24, 44?67 (1977)","journal-title":"J. ACM"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Macqueen, D.B., Sannella, D.T.: HOPE: an experimental applicative language. Int Res Report. Dept Computer Science, University of Edinburgh 1980","DOI":"10.1145\/800087.802799"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/357153.357154","volume":"4","author":"M. Feather","year":"1982","unstructured":"Feather, M.: A system for assisting program transformation. ACM Trans Progr. Lang. Syst. 4, 1?20 (1982)","journal-title":"ACM Trans Progr. Lang. Syst."},{"key":"CR5","volume-title":"Functional Programming: Application and Implementation","author":"P. Henderson","year":"1980","unstructured":"Henderson, P.: Functional Programming: Application and Implementation. Englewood Cliffs: Prentice-Hall 1980"},{"key":"CR6","unstructured":"Hughes, R.J.M.: The Design and Implementation of Programming Languages. D. Phil. Thesis. Oxford University 1983"},{"key":"CR7","unstructured":"Kott, L.: About a transformation system: a theoretical study. Proc. Third Symp. Progr. Paris, 1971"},{"key":"CR8","volume-title":"Functional Programming and its Applications","author":"D. Turner","year":"1982","unstructured":"Turner, D.: Recursion equations as a programming language. In: Functional Programming and its Applications (Darlington, J., Henderson, P., Turner, D. (eds.). Cambridge: University Press, 1982"},{"key":"CR9","unstructured":"Wadler, P.: (personal communication)"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Listlessness is better than laziness. Ph. D. Thesis, Carnegie-Mellon University, 1984","DOI":"10.1145\/800055.802020"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264249.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00264249\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:14:45Z","timestamp":1554311685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00264249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,10]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,10]]}},"alternative-id":["BF00264249"],"URL":"https:\/\/doi.org\/10.1007\/bf00264249","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,10]]}}}