{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T10:55:04Z","timestamp":1672743304253},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1982,6,1]],"date-time":"1982-06-01T00:00:00Z","timestamp":391737600000},"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":[[1982,6]]},"DOI":"10.1007\/bf00288969","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T17:45:25Z","timestamp":1096911925000},"page":"185-192","source":"Crossref","is-referenced-by-count":8,"title":["Testing attribute grammars for circularity"],"prefix":"10.1007","volume":"17","author":[{"given":"Kari -Jouko","family":"R\ufffdih\ufffd","sequence":"first","affiliation":[]},{"given":"Mikko","family":"Saarinen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"The Theory of parsing, translation, and compiling, Vol.2. Compiling","author":"A.V. Aho","year":"1973","unstructured":"Aho, A.V., Ullman, J.D.: The Theory of parsing, translation, and compiling, Vol.2. Compiling. Englewood Cliffs, N.J.: Prentice-Hall 1973"},{"key":"CR2","unstructured":"Bruno, J., Burkhard, W.A.: A circularity test for interpreted grammars. Computer Science Laboratory, Department of Electrical Engineering, Princeton University, Technical Report 88, 1970"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(81)90466-6","volume":"49","author":"J. Engelfriet","year":"1981","unstructured":"Engelfriet, J., Fil\u00e8, G.: Passes and paths of attribute grammars. Information and Control 49, 125?169 (1981)","journal-title":"Information and Control"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"Jazayeri, M., Ogden, W.F., Rounds, W.C.: The intrinsically exponential complexity of the circularity problem for attribute grammars. Comm. ACM 18, 697?706 (1975)","journal-title":"Comm. ACM"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Jones, N.D.: Circularity testing for attribute grammars requires exponential time: A simpler proof. Computer Science Department, Aarhus University, Report DAIMI PB-107, 1980","DOI":"10.7146\/dpb.v9i107.6522"},{"key":"CR6","unstructured":"Karttunen, M.: On circularity tests for semantic attributes (in Finnish). Department of Computer Science, University of Helsinki, Report C-1977?87, 1977"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Kennedy, K., Warren, S.K.: Automatic generation of efficient evaluators for attribute grammars. In: Conf. Record of the Third ACM Symposium on Principles of Programming Languages, pp. 32?49 (1976)","DOI":"10.1145\/800168.811538"},{"key":"CR8","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. Math. Systems Theory 2, 127?145 (1968)","journal-title":"Math. Systems Theory"},{"key":"CR9","doi-asserted-by":"crossref","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. Systems Theory 5, 95?96 (1971)","journal-title":"Math. Systems Theory"},{"key":"CR10","unstructured":"Koskimies, K., Juutinen, L.: An attribute grammar for the compile-time semantics of a subset of the programming language Euclid. Department of Computer Science, University of Helsinki, Report C-1979-130, 1979"},{"key":"CR11","first-page":"23","volume-title":"Proving and Improving Programs","author":"B. Lorho","year":"1975","unstructured":"Lorho, B., Pair, C.: Algorithms for checking consistency of attribute grammars. In: Proving and Improving Programs (G. Huet, G. Kahn, eds.), pp. 23?54. Le Chesnay: Colloques IRIA 1975"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/3-540-10250-7_28","volume-title":"Semantics-Directed Compiler Generation","author":"K.-J. R\u00e4ih\u00e4","year":"1980","unstructured":"R\u00e4ih\u00e4, K.-J.: Experiences with the compiler writing system HLP. In: Semantics-Directed Compiler Generation (N.D. Jones, ed.), pp. 350?362. Berlin-Heidelberg-New York: Springer 1980"},{"key":"CR13","unstructured":"R\u00e4ih\u00e4, K.-J., Saarinen, M., Soisalon-Soininen, E., Tienari, M.: The compiler writing system HLP (Helsinki Language Processor). Department of Computer Science, University of Helsinki, Report A-1978-2, 1978"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288969.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288969\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288969","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:14:34Z","timestamp":1554758074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288969"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,6]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,6]]}},"alternative-id":["BF00288969"],"URL":"https:\/\/doi.org\/10.1007\/bf00288969","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,6]]}}}