{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:52Z","timestamp":1725484912204},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_88","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1315-1329","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language"],"prefix":"10.1007","author":[{"given":"Chuck","family":"Liang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"unstructured":"A. V. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.","key":"88_CR1"},{"doi-asserted-by":"crossref","unstructured":"A. W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1998.","key":"88_CR2","DOI":"10.1017\/CBO9780511811449"},{"issue":"2","key":"88_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/22719.22946","volume":"9","author":"J. Cohen","year":"1987","unstructured":"J. Cohen and T. Hickey. Parsing and compiling using prolog. ACM Transactions on Programming Languages and Systems, 9(2):125\u2013163, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"88_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/363921.363927","volume":"7","author":"R. Floyd","year":"1964","unstructured":"R. Floyd. Bounded context syntactic analysis. Communications of the ACM, 7(2):62\u201367, 1964.","journal-title":"Communications of the ACM"},{"unstructured":"S. Fong. Computational Properties of Principle-Based Grammatical Theories. PhD thesis, MIT, June 1991.","key":"88_CR5"},{"issue":"3","key":"88_CR6","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1137\/0203019","volume":"3","author":"S. L. Graham","year":"1974","unstructured":"S. L. Graham. On bounded right context languages and grammars. SIAM Journal on Computing, 3(3):224\u2013254, 1974.","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"88_CR7","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1145\/321850.321851","volume":"21","author":"M. Harrison","year":"1974","unstructured":"M. Harrison and I. Havel. On the parsing of deterministic languages. Journal of the ACM, 21(4):525\u2013548, 1974.","journal-title":"Journal of the ACM"},{"unstructured":"M. A. Harrison. Introduction to Formal Language Theory. Addison-Wesley, 1978.","key":"88_CR8"},{"unstructured":"R. Ochitani K. Uehara and O. Kakusho. A bottom-up parser based on predicate logic. IEEE Proceedings, International Symposium on Logic Programming, pages 220\u2013227, 1984.","key":"88_CR9"},{"issue":"6","key":"88_CR10","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/S0019-9958(65)90426-2","volume":"8","author":"D. E. Knuth","year":"1965","unstructured":"D. E. Knuth. On the translation of languages from left to right. Information and Control, 8(6):607\u2013639, 1965.","journal-title":"Information and Control"},{"unstructured":"G. Nadathur and D. Mitchell. System description: Teyjus\u2014a compiler and abstract machine based implementation of \u03bbProlog. In Automated Deduction-CADE-13, Springer-Verlag LNAI no. 1632, pages 287\u2013291, July 1999.","key":"88_CR11"},{"key":"88_CR12","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF03037391","volume":"4","author":"U. Nilsson","year":"1986","unstructured":"U. Nilsson. AID: an alternative implementation of DCGs. New Generation Computing, 4:383\u2013399, 1986.","journal-title":"New Generation Computing"},{"key":"88_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. Pereira","year":"1980","unstructured":"F. Pereira and D. Warren. Definite clause grammars for language analysis. Artificial Intelligence, 13:231\u2013278, 1980.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"F. Pereira and D. Warren. Parsing as deduction. In 21st Annual Meeting of the Association for Computational Linguistics, pages 137\u2013144, 1983.","key":"88_CR14","DOI":"10.3115\/981311.981338"},{"unstructured":"Shieber S., Schabes Y., and Pereira F. Principles and implementation of deductive parsing. Technical Report TR-11-94, Center for Research in Computing Technology, Harvard University, December 1998.","key":"88_CR15"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_88","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T16:27:54Z","timestamp":1587572874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_88","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}