{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:34Z","timestamp":1725663394452},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_48","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:33:28Z","timestamp":1330202008000},"page":"180-200","source":"Crossref","is-referenced-by-count":1,"title":["Structure sharing in attribute grammars"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"12_CR1","first-page":"101","volume":"7","author":"R. S. Boyer","year":"1972","unstructured":"Boyer, R.S. and Moore, J.S., The Sharing of Structure in Theorem-Proving Programs, Machine Intelligence 7, pp. 101\u2013116, 1972.","journal-title":"Machine Intelligence"},{"issue":"7","key":"12_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/17919.806826","volume":"20","author":"A. Demers","year":"1985","unstructured":"Demers, A., Rogers, A., and Zadeck, F.K., Attribute Propagation by Message Passing, Sigplan Notices, vol. 20, no. 7, pp. 43\u201359, 1985.","journal-title":"Sigplan Notices"},{"key":"12_CR3","unstructured":"Deransart, P., Jourdan, M., and Lorho, B., A Survey on Attribute Grammars, Part III: Classified Bibliography, INRIA, Rapports de Recherce, no. 417, 1985."},{"key":"12_CR4","unstructured":"Deransart, P., Jourdan, M., and Lorho, B., A Survey on Attribute Grammars, Part I: Main Results on Attribute Grammars, INRIA, Rapports de Recherce, no. 485, 1986a."},{"key":"12_CR5","unstructured":"Deransart, P., Jourdan, M., and Lorho, B., A Survey on Attribute Grammars, Part II: Review of Existing Systems, INRIA, Rapports de Recherce, no. 510, 1986b."},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"Deransart, P. and Maluszynski, J., Relating Logic Programs and Attribute Grammars. Journal of Logic Programming, vol 2, pp. 119\u2013155, 1985.","journal-title":"Journal of Logic Programming"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-09118-1_15","volume":"67","author":"H. Ganzinger","year":"1979","unstructured":"Ganzinger, H., On Storage Optimization for Automatically Generated Compilers, Lecture Notes in Computer Science 67, pp. 132\u2013147, Springer-Verlag, 1979.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR8","unstructured":"Goguen, J.A., Thatcher, J.W., and Wagner, E.G., An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, Current Trends in Programming Methodology, vol. IV, ed. R.T. Yeh, Prentice-Hall, 1979."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Hoover, R., Dynamically Bypassing Copy Rule Chains in Attribute Grammars, Proc. of 13th Annual ACM Symposium on Principles of Programming Languages, 1986.","DOI":"10.1145\/512644.512646"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/6465.6512","volume":"8","author":"S. Horwitz","year":"1986","unstructured":"Horwitz, S. and Teitelbaum, T., Generating Editing Environments Based on Relations and Attributes, ACM Transactions on Programming Languages and Systems 8, pp. 577\u2013608, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR11","unstructured":"Jespersen, P., Madsen, M., and Riis, H., New extended attribute systems \u2014 Neats, Computer Science Department, Aarhus University, 1978."},{"key":"12_CR12","unstructured":"Kastens, U., Hutt, B., and Zimmermann, E., GAG: A Practical Compiler Generator, Lecture Notes in Computer Science 141, 1982."},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"Knuth, D.E., Semantics of Context-Free Languages, Mathematical Systems Theory 2, pp. 127\u2013125, 1968.","journal-title":"Mathematical Systems Theory"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/3-540-10250-7_25","volume":"94","author":"O. L. Madsen","year":"1980","unstructured":"Madsen, O.L., On defining semantics by means of extended attribute grammars, Lecture Notes in Computer Science 94, pp. 259\u2013299, 1980.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR15","volume-title":"A theory of programming language semantics","author":"R. Milne","year":"1976","unstructured":"Milne, R. and Strachey, C., A theory of programming language semantics, Chapman and Hall, London, 1976."},{"key":"12_CR16","unstructured":"Mycroft, A., Abstract Interpretation and Optimizing Transformations of Applicative Programs, Edinburgh University, CST-15-81, 1981."},{"issue":"8","key":"12_CR17","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/872732.806951","volume":"14","author":"K.-J. R\u00e4ih\u00e4","year":"1979","unstructured":"R\u00e4ih\u00e4, K.-J., Dynamic Allocation of Space for Attribute Instances in Multi-Pass Evaluators of Attribute Grammars, Sigplan Notices, vol. 14, no. 8, pp 26\u201334, 1979.","journal-title":"Sigplan Notices"},{"key":"12_CR18","unstructured":"Reps, T.W., Generating Language-Based Environments, MIT Press, 1984."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Reps, T., Marceau, C., and Teitelbaum, T., Remote Attribute Updating for Language-Based Editors, Proc. of 13th Annual ACM Symposium on Principles of Programming Languages, pp. 1\u201313, 1986.","DOI":"10.1145\/512644.512645"},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00288775","volume":"22","author":"M. Sonnenschein","year":"1985","unstructured":"Sonnenschein, M., Global Storage Cells for Attributes in an Attribute Grammar, Acta Informatica 22, pp. 397\u2013420, 1985.","journal-title":"Acta Informatica"},{"key":"12_CR21","unstructured":"Warren, D.H.D., Implementing Prolog \u2014 compiling predicate logic programs, D.A.I. Research Reports 39 & 40, Department of Artificial Intelligence, University of Edinburgh, 1977."},{"key":"12_CR22","unstructured":"Watt, D.A. and Madsen, O.L., Extended Attribute Grammars, DAIMI PB-105, Computer Science Department, Aarhus University, 1979."}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:57:19Z","timestamp":1619571439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}