{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:54:37Z","timestamp":1756000477180},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183174"},{"type":"electronic","value":"9783540478799"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:30:05Z","timestamp":1330180205000},"page":"154-173","source":"Crossref","is-referenced-by-count":39,"title":["Attribute grammars as a functional programming paradigm"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Johnsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson. A compiler for lazy Ml. In Proceedings of the 1984 ACM Symposium on Lisp and Functional Programming, pages 218\u2013227, Austin, 1984.","DOI":"10.1145\/800055.802038"},{"key":"10_CR2","volume-title":"Compilers: Principles, Techniques, Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, J. D. Ullman, and R. Sethi. Compilers: Principles, Techniques, Tools. Addison-Wesley Publishing Company, Reading, Mass., 1986."},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24:44\u201367, 1977.","journal-title":"Journal of the ACM"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00264249","volume":"21","author":"R. S. Bird","year":"1984","unstructured":"R. S. Bird. Using circular programs to eliminate multiple traverals of data. Acta Informatica, 21:239\u2013250, 1984.","journal-title":"Acta Informatica"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"R. M. Burstall, D. B. McQueen, and D. T. Sannella. Hope: an experimental applicative language. In Proceedings of the 1980 ACM Symposium on Lisp and Functional Programming, pages 136\u2013143, Stanford, CA, August 1980.","DOI":"10.1145\/800087.802799"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"L. M. Chirica","year":"1979","unstructured":"L. M. Chirica and D. F. Martin. An order-algebraic definition of knuthian semantics. Math. Systems Theory, 13:1\u201327, 1979.","journal-title":"Math. Systems Theory"},{"key":"10_CR7","volume-title":"A Survey on Attribute Grammars, Part III: Classified Bibliography. Rapport de Recherche 417","author":"P. Deransart","year":"1985","unstructured":"Pierre Deransart, Martin Jourdan, and Bernard Lorho. A Survey on Attribute Grammars, Part III: Classified Bibliography. Rapport de Recherche 417, Inria, Rocquencourt, France, June 1985."},{"key":"10_CR8","volume-title":"A Survey on Attribute Grammars, Part II: Review of Existing Systems. Rapport de Recherche 510","author":"P. Deransart","year":"1986","unstructured":"Pierre Deransart, Martin Jourdan, and Bernard Lorho. A Survey on Attribute Grammars, Part II: Review of Existing Systems. Rapport de Recherche 510, Inria, Rocquencourt, France, March 1986."},{"key":"10_CR9","volume-title":"A Survey on Attribute Grammars, Part I: Main Results on Attribute Grammars. Rapport de Recherche 485","author":"P. Deransart","year":"1986","unstructured":"Pierre Deransart, Martin Jourdan, and Bernard Lorho. A Survey on Attribute Grammars, Part I: Main Results on Attribute Grammars. Rapport de Recherche 485, Inria, Rocquencourt, France, January 1986."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"H. Ganzinger and R. Giegerich. Attribute coupled grammars. In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, pages 157\u2013170, Montreal, 1984.","DOI":"10.1145\/502874.502890"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"M. Gordon, R. Milner, and C. Wadsworth. Edinburgh Lcf. Volume 78 of Lecture Notes in Computer Science, Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09724-4"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"R. J. M. Hughes. Lazy memo-functions. In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_34"},{"key":"10_CR13","unstructured":"S. C. Johnson. Yacc\u2014Yet Another Compiler Compiler. Technical Report 32, Bell labs, 1975. Also in Unix Programmer's Manual, Volume 2B."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Efficient compilation of lazy evaluation. In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, pages 58\u201369, Montreal, 1984.","DOI":"10.1145\/502874.502880"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Lambda lifting: transforming programs to recursive equations. In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"Mehdi Jazayeri, William F. Ogden, and William C. Rounds. The intrinsically exponential complexity of the circularity problem for attribute grammars. Communications of the ACM, 18:697\u2013706, 1975.","journal-title":"Communications of the ACM"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/3-540-12925-1_37","volume":"167","author":"M. Jourdan","year":"1984","unstructured":"M. Jourdan. An optimal-time recursive evaluator for attribute grammars. In Proceedings of 6th Int. Symp. on Programming, LNCS 167, pages 167\u2013178, Springer-Verlag, April 1984.","journal-title":"Proceedings of 6th Int. Symp. on Programming, LNCS"},{"issue":"3","key":"10_CR18","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/579.586","volume":"6","author":"T. Katayama","year":"1984","unstructured":"Takuya Katayama. Translation of attribute grammars into procedures. ACM Trans. on Programming Languages and Systems, 6(3):345\u2013369, July 1984.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"10_CR19","series-title":"Technical Report","volume-title":"Applications of feedback in functional programming","author":"R. M. Keller","year":"1981","unstructured":"R. M. Keller and G. Lindstrom. Applications of feedback in functional programming. Technical Report, University of Utah, Salt Lake City, April 1981."},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"Donald E. E. Knuth","year":"1968","unstructured":"Donald E. Knuth. Semantics of context-free languages. Math. Systems Theory, 2:127\u2013145, 1968.","journal-title":"Math. Systems Theory"},{"issue":"3","key":"10_CR21","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1137\/0210037","volume":"10","author":"B. Mayoh","year":"1981","unstructured":"B. Mayoh. Attribute grammars and mathematical semantics. SIAM J. of Computing, 10(3):503\u2013518, August 1981.","journal-title":"SIAM J. of Computing"},{"key":"10_CR22","unstructured":"R. Milner. Standard ML proposal. Polymorphism: The ML\/LCF\/Hope Newsletter, 1(3), January 1984."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"L. Paulson. A semantics-directed compiler generator. In Proc. 9th POPL, 1982.","DOI":"10.1145\/582153.582178"},{"key":"10_CR24","unstructured":"D. A. Turner. Sasl Language Manual. Technical report, University of St. Andrews, 1976."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"D. A. Turner. Miranda: A non-strict language with polymorphic types. In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture, pages 1\u201316, Nancy, France, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"10_CR26","unstructured":"G. Uddeborg. A Functional Parser Generator. In preparation."}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18317-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:34Z","timestamp":1605626074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}