{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:28Z","timestamp":1725455788604},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026818","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:29:45Z","timestamp":1132378185000},"page":"133-150","source":"Crossref","is-referenced-by-count":0,"title":["Design and implementation of jump tables for fast indexing of logic programs"],"prefix":"10.1007","author":[{"given":"Steven","family":"Dawson","sequence":"first","affiliation":[]},{"given":"C. R.","family":"Ramakrishnan","sequence":"additional","affiliation":[]},{"given":"I. V.","family":"Ramakrishnan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"10_CR1","volume-title":"Principles of Compiler Design","author":"A.H. Aho","year":"1977","unstructured":"A.H. Aho and J.D. Ullman. Principles of Compiler Design. Addison-Wesley, Reading, Mass., 1977."},{"key":"10_CR2","unstructured":"J.R. Bell. A compression method for compiler precedence tables. In Proc. of the IFIP Congress 74, pages 359\u2013362, Stockholm, August 1974."},{"key":"10_CR3","unstructured":"M. Carlsson. Freeze, indexing and other implementation issues in the WAM. In International Conference on Logic Programming, pages 40\u201358, 1987."},{"issue":"1","key":"10_CR4","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1093\/comjnl\/28.1.54","volume":"28","author":"G.V. Cormack","year":"1985","unstructured":"G.V. Cormack, R.N.S. Horspool, and M. Kaiserswerth. Practical perfect hashing. The Computer Journal, 28(1):54\u201358, 1985.","journal-title":"The Computer Journal"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"J. Christian. Fast Knuth-Bendix completion: Summary. In RTA'89, pages 551\u2013555. Springer-Verlag LNCS 355, 1989.","DOI":"10.1007\/3-540-51081-8_136"},{"key":"10_CR6","unstructured":"T. Chen, I. V. Ramakrishnan, and R. Ramesh. Multistage indexing algorithms for speeding Prolog execution. In Joint International Conference\/Symposium on Logic Programming, pages 639\u2013653, 1992."},{"issue":"4","key":"10_CR7","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1145\/1780.1802","volume":"6","author":"P. Denker","year":"1984","unstructured":"P. Denker, K. D\u00fcrre, and J. Heuft. Optimization of parser tables for portable compilers. ACM Transactions on Programming Languages and Systems, 6(4):546\u2013572, October 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"S. Dawson, C. R. Ramakrishnan, I.V. Ramakrishnan, K. Sagonas, S. Skiena, T. Swift, and D. S. Warren. Unification factoring for efficient execution of logic programs. In ACM Symposium on Principles of Programming Languages, pages 247\u2013258, January 1995.","DOI":"10.1145\/199448.199509"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"L. Fredman, J. Koml\u00f3s, and E. Szemer\u00e9di. Storing a sparse table with O(1) worst case access time. Journal of the ACM, 31(3):538\u2013544, July 84.","DOI":"10.1145\/828.1884"},{"key":"10_CR10","unstructured":"M. Garey and D. Johnson. Computers and Intractibility: A Guide to the Theory of NP-Completness. W.H. Freeman and Company, 1979."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0743-1066(89)90021-6","volume":"7","author":"T. Hickey","year":"1989","unstructured":"T. Hickey and S. Mudambi. Global compilation of Prolog. Journal of Logic Programming, 7:193\u2013230, 1989.","journal-title":"Journal of Logic Programming"},{"key":"10_CR12","unstructured":"S. Kliger and E. Shapiro. From decision trees to decision graphs. In North American Conference on Logic Programming, pages 97\u2013116, 1991."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF00245458","volume":"9","author":"W. McCune","year":"1992","unstructured":"W. McCune. Experiments with discrimination-tree indexing and path indexing for term retrieval. Journal of Automated Reasoning, 9:147\u2013167, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR14","unstructured":"D. Palmer and L. Naish. NUA-Prolog: An extension to the WAM for parallel Andorra. In International Conference on Logic Programming, pages 429\u2013442, 1991."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"R. Ramesh, I. V. Ramakrishnan, and D. S. Warren. Automata-driven indexing of Prolog clauses. In ACM Symposium on Principles of Programming Languages, pages 281\u2013290. ACM Press, 1990.","DOI":"10.1145\/96709.96738"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"R. C. Sekar, I. V. Ramakrishnan, and R. Ramesh. Adaptive pattern matching. In International Conference on Automata, Languages, and Programming, number 623 in LNCS, pages 247\u2013260. Springer Verlag, 1992. To appear in SIAM J. Comp.","DOI":"10.1007\/3-540-55719-9_78"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:54:18Z","timestamp":1586555658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0026818","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}