{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:27Z","timestamp":1725663387051},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_49","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:33:27Z","timestamp":1330184007000},"page":"201-218","source":"Crossref","is-referenced-by-count":2,"title":["A semantic evaluator generating system in prolog"],"prefix":"10.1007","author":[{"given":"Pedro Rangel","family":"Henriques","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"13_CR1","unstructured":"Harvey Abramson. Definite clause translation grammars. In Proc. 84 \u2014 Int. Symp. on Logic Programming, Atlantic City, pages 233\u2013240, IEEE, 1984. (University of British Columbia)."},{"issue":"3","key":"13_CR2","first-page":"294","volume":"30","author":"B. Arbab","year":"1986","unstructured":"Bijan Arbab. Compiling circular attribute grammars into prolog. Journal of Research and Development, 30(3):294\u2013309, May 1986.","journal-title":"Journal of Research and Development"},{"key":"13_CR3","unstructured":"Aho, Sethi, and Ulman. Compiler Principles Techniques and Tools. Addison-Wesley, 1986."},{"key":"13_CR4","unstructured":"Pierre Boullier. Contribution \u00e0 la Construction Automatique d'Analyseur Lexicographiques et Syntaxiques. PhD thesis, Universit\u00e9 d'Orleans, 1984."},{"key":"13_CR5","unstructured":"B. Courcelle and P. Deransart. Proofs for Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming. Technical Report I-8702, Univ. de Bordeaux I, U.E.R. de Math\u00e9matiques et Informatiques, January 1987."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(82)90003-2","volume":"17","author":"B. Courcelle","year":"1982","unstructured":"B. Courcelle and P. Franchi-Zannettacci. Attribute grammars and recursive program schemes. Theoretical Computer Science, 17:163\u2013191 and 235\u2013257, 1982.","journal-title":"Theoretical Computer Science"},{"key":"13_CR7","unstructured":"P. Deransart and G. Ferrand. Initiation a Prolog: Concepts de Base. Support de Cours 86-2, Universit\u00e9 d'Orleans, Dep. de Math\u00e9matiques et Informatique, June 1986."},{"key":"13_CR8","series-title":"Rapport de Recherche","volume-title":"A Survey on Attribute Grammars: Part III Classified Bibliography","author":"P. Deransart","year":"1985","unstructured":"P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part III Classified Bibliography. Rapport de Recherche 417, INRIA, Rocquencourt, January 1985."},{"key":"13_CR9","series-title":"Rapport de Recherche","volume-title":"A Survey on Attribute Grammars: Part I Main Results","author":"P. Deransart","year":"1986","unstructured":"P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part I Main Results. Rapport de Recherche 485, INRIA, Rocquencourt, January 1986."},{"key":"13_CR10","series-title":"Rapport de Recherche","volume-title":"A Survey on Attribute Grammars: Part II Review of Existing Systems","author":"P. Deransart","year":"1986","unstructured":"P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part II Review of Existing Systems. Rapport de Recherche 510, INRIA, Rocquencourt, January 1986."},{"key":"13_CR11","series-title":"Rapport de Recherche","volume-title":"Relating Logic Programs and Attribute Grammars","author":"P. Deransart","year":"1985","unstructured":"P. Deransart and J. Maluszynski. Relating Logic Programs and Attribute Grammars. Rapport de Recherche 393, INRIA, Rocquencourt, April 1985."},{"key":"13_CR12","series-title":"Rapport de Recherche","volume-title":"An Efficient Recursive Evaluator for Strongly Non-Circular Attribute Grammars","author":"M. Jourdan","year":"1983","unstructured":"Martin Jourdan. An Efficient Recursive Evaluator for Strongly Non-Circular Attribute Grammars. Rapport de Recherche 235, INRIA, Rocquencourt, October 1983."},{"key":"13_CR13","series-title":"Rapport de Recherche","volume-title":"Evaluation R\u00e9cursive des Grammaires Attribu\u00e9es: Deux Implantations","author":"M. Jourdan","year":"1985","unstructured":"Martin Jourdan. Evaluation R\u00e9cursive des Grammaires Attribu\u00e9es: Deux Implantations. Rapport de Recherche 409, INRIA, Rocquencourt, May 1985."},{"issue":"2","key":"13_CR14","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. Mathematical Systems Theory, 2(2):127\u2013145, 1968.","journal-title":"Mathematical Systems Theory"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Y. Matsumoto, H. Tanaka, and H. Hirakawa et al. BUP: a bottom-up parser embedded in prolog. New Generation Computing, 1, 1983.","DOI":"10.1007\/BF03037421"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"U. Nilsson. AID: an alternative implementation of DCGs. 1986. Dep. of Computer and Information Science, Link\u00f6ping University (draft version).","DOI":"10.1007\/BF03037391"},{"issue":"3","key":"13_CR17","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. N. Pereira","year":"1980","unstructured":"F. C. N. Pereira and D. H. D. Warren. Definite clause grammars for language analysis: a survey of the formalism and comparison with augmented transistion networks. Artificial Intelligence, 13(3):231\u2013278, 1980.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"13_CR18","first-page":"35","volume":"15","author":"K. J. R\u00e4ih\u00e4","year":"1980","unstructured":"K. J. R\u00e4ih\u00e4. Bibliography on attribute grammars. SIGPLAN Notices, 15(3):35\u201344, 1980.","journal-title":"SIGPLAN Notices"},{"key":"13_CR19","unstructured":"Kuniaki Uehara, R. Ochitani, and O. Kakusho et al. A bottom-up parser based on predicate logic: a survey of the formalism and its implementation technique. In Proc. 84 \u2014 Int. Symp. on Logic Programming, Atlantic City, pages 220\u2013227, IEEE, 1984. (Osaka University)."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"William Waite and Gerhard Goos. Compiler Construction. Texts and Monographs in Computer Science, Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5192-7"}],"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_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:54Z","timestamp":1605629934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}