{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T21:57:08Z","timestamp":1790287028736,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540545729","type":"print"},{"value":"9783540384908","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54572-7_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:04:05Z","timestamp":1330211045000},"page":"256-296","source":"Crossref","is-referenced-by-count":11,"title":["Higher Order Attribute Grammars"],"prefix":"10.1007","author":[{"given":"Doaitse","family":"Swierstra","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Harald","family":"Vogt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"10_CR1","unstructured":"Deransart, P., M. Jourdan and B. Lorho. Attribute Grammars: Definitions, Systems and Bibliography. LNCS 323, Springer Verlag, Aug. 1988."},{"key":"10_CR2","unstructured":"J. Craig Cleaveland and Robert C. Uzagalis Grammars for Programming Languages Elsevier\/North-Holland 1977."},{"issue":"No.6","key":"10_CR3","first-page":"157","volume":"19","author":"H. Ganzinger","year":"1984","unstructured":"Ganzinger, H., and R. Giegerich. Attribute Coupled Grammars Sigplan Notices Vol. 19, No. 6, pages 157\u2013170, 1984.","journal-title":"Sigplan Notices"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Deransart, P., M. Jourdan (Eds.). Attribute Grammars and their Applications. Proceedings of the International Workshop on Attribute Grammars and their Applications (WAGA), LNCS 461, Paris, September 19\u201321, 1990.","DOI":"10.1007\/3-540-53101-7"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Hoover, R. Dynamically Bypassing Copy Rule Chains in Attribute Grammars. In Proc. of the 13th ACM Symp. on Principles of Programming Languages, St. Petersburg, FL, Jan 13\u201315, pages 14\u201325, 1986.","DOI":"10.1145\/512644.512646"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M. Super-combinators: A New Implementation Method for Applicative Languages. In Proc. ACM Symp. on Lisp and Functional Progr., Pittsburgh, 1982.","DOI":"10.1145\/800068.802129"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Hughes, R.J.M. Lazy memo functions. In Proc. Conference on Functional Progr. and Comp. Architecture, Nancy, pages 129\u2013146, LNCS 201, Springer Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_34"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"Jazayeri, M., W.F. Ogden, W.C. Rounds. The intrinsically exponential complexity of the circularity problem for attributed grammars. In CACM 18, pages 679\u2013706, 1975.","journal-title":"CACM"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"Kastens, U. Ordered Attributed Grammars. Acta Informatica, 13, pages 229\u2013256, 1980.","journal-title":"Acta Informatica"},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"Knuth, D.E. Semantics of context-free languages. Math. Syst. Theory, 2(2):127\u2013145, 1968.","journal-title":"Math. Syst. Theory"},{"issue":"l","key":"10_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF01702865","volume":"5","author":"D. E. Knuth","year":"1971","unstructured":"Knuth, D.E. Semantics of context-free languages (correction). Math. Syst. Theory, 5(l):95\u201396, 1971.","journal-title":"Math. Syst. Theory"},{"key":"10_CR12","unstructured":"Koster, C.H.A. Affix Grammars for Programming Languages this summer school"},{"key":"10_CR13","unstructured":"Swierstra 87] Kuiper, M.F. and S.D. Swierstra Using Attribute Grammars to Derive Efficient functional programs. Computing Science in the Netherlands, SION, November 1987."},{"key":"10_CR14","volume-title":"Tech. Rep. 88\u2013936 and Ph.D. Thesis","author":"W. W. Pugh","year":"1988","unstructured":"Pugh, W.W. Incremental Computation and the Incremental Evaluation of Functional Programs. Tech. Rep. 88\u2013936 and Ph.D. Thesis, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., Aug. 1988."},{"key":"10_CR15","volume-title":"Tech. Rep. 82\u2013514 and Ph.D dissertation","author":"T. Reps","year":"1982","unstructured":"Reps, T. Generating language based environments. Tech. Rep. 82\u2013514 and Ph.D dissertation, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., Aug. 1982."},{"issue":"No.3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/2166.357218","volume":"5","author":"T. Reps","year":"1983","unstructured":"Reps, T., T. Teitelbaum and A. Demers. Incremental Context-Dependent Analysis for Language Based Editors. In ACM Transactions on Progr. Lang. and Systems, Vol. 5, No. 3, pages 449\u2013477, July 1983.","journal-title":"ACM Transactions on Progr. Lang. and Systems"},{"key":"10_CR17","volume-title":"The Synthesizer Generator: A System for Constructing Language-Based Editors","author":"T. Reps","year":"1988","unstructured":"Reps, T. and T. Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, NY, 1988."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Teitelbaum, T. and R. Chapman. Higher-Order Attribute Grammars and Editing Environments. ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, New York, pages 197\u2013208, June, 1990.","DOI":"10.1145\/93542.93567"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Turner, D.A. Miranda: A non-strict functional language with polymorphic types. In J. Jouannaud, editor, Funct. Progr. Lang. and Comp. Arch., pages 1\u201316, Springer, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"Turner, D.A., A New Implementation Technique for Applicative Languages In Software, Practice and Experience, vol. 9, pages 31\u201349, 1979.","journal-title":"Software, Practice and Experience"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Vogt, H.H., S.D. Swierstra and M.F. Kuiper. Higher Order Attribute Grammars. ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, Portland, Oregon, pages 131\u2013145, June, 1989.","DOI":"10.1145\/73141.74830"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Vogt, H.H., A. van den Berg and A. Freije. Rapid development of a program transformation system with attribute grammars and dynamic transformations. In the proceedings of the International Workshop on Attribute Grammars and their Applications (WAGA), LNCS 461, Paris, pages 101\u2013115, September 19\u201321, 1990.","DOI":"10.1007\/3-540-53101-7_8"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Vogt, H.H., S.D. Swierstra and M.F. Kuiper. Efficient incremental evaluation of higher order attribute grammars. In the proceedings of the International Symposium on Programming Language Implementation and Logic Programming, Passau (FRG), August 26\u201328, (To Appear), 1991.","DOI":"10.1007\/3-540-54444-5_102"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Waite, W.M. and G.Goos. Compiler Construction. Springer, 1984.","DOI":"10.1007\/978-1-4612-5192-7"},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/BF01934460","volume":"23","author":"D. Yeh","year":"1983","unstructured":"Yeh, D. On incremental evaluation of ordered attributed grammars. BIT, 23:308\u2013320, 1983.","journal-title":"BIT"}],"container-title":["Lecture Notes in Computer Science","Attribute Grammars, Applications and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54572-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:23:08Z","timestamp":1619572988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54572-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545729","9783540384908"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-54572-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}