{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:14:13Z","timestamp":1725498853146},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774419"},{"type":"electronic","value":"9783540774426"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77442-6_14","type":"book-chapter","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T04:35:03Z","timestamp":1198038903000},"page":"197-213","source":"Crossref","is-referenced-by-count":5,"title":["An Improved Continuation Call-Based Implementation of Tabling"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Chico de Guzm\u00e1n","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]},{"given":"Cl\u00e1udio","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G. (eds.): The Ciao System. Ref. Manual (v1.13). Technical report, C. S. School (UPM) (2006), http:\/\/www.ciaohome.org"},{"key":"14_CR2","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Special Issue on Parallelism and Implementation of (C)LP Systems","author":"D. Cabeza","year":"2000","unstructured":"Cabeza, D., Hermenegildo, M.: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. In: Special Issue on Parallelism and Implementation of (C)LP Systems. Electronic Notes in Theoretical Computer Science, vol.\u00a030(3), Elsevier, North Holland (2000)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Carro, M., Morales, J., Muller, H.L., Puebla, G., Hermenegildo, M.: High-Level Languages for Small Devices: A Case Study. In: Flautner, K., Kim, T. (eds.) Compilers, Architecture, and Synthesis for Embedded Systems, pp. 271\u2013281. ACM Press \/ Sheridan (October 2006)","DOI":"10.1145\/1176760.1176794"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM\u00a043(1), 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/231379.231399","volume-title":"Proceedings of PLDI 1996","author":"S. Dawson","year":"1996","unstructured":"Dawson, S., Ramakrishnan, C.R., Warren, D.S.: Practical Program Analysis Using General Purpose Logic Programming Systems \u2013 A Case Study. In: Proceedings of PLDI 1996, pp. 117\u2013126. ACM Press, New York, USA (1996)"},{"key":"14_CR6","volume-title":"CICLOPS 2007","author":"P. Chico de Guzm\u00e1n","year":"2007","unstructured":"Chico de Guzm\u00e1n, P., Carro, M., Hermenegildo, M., Silva, C., Rocha, R.: Some Improvements over the Continuation Call Tabling Implementation Technique. In: CICLOPS 2007, ACM Press, New York (2007)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0056605","volume-title":"Principles of Declarative Programming","author":"B. Demoen","year":"1998","unstructured":"Demoen, B., Sagonas, K.: CAT: The Copying Approach to Tabling. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 21\u201335. Springer, Heidelberg (1998)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Demoen, B., Sagonas, K.F.: Chat: The copy-hybrid approach to tabling. Practical Applications of Declarative Languages, 106\u2013121 (1999)","DOI":"10.1007\/3-540-49201-1_8"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Guo, H.-F., Gupta, G.: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. In: International Conference on Logic Programming, pp. 181\u2013196 (2001)","DOI":"10.1007\/3-540-45635-X_20"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-540-24836-1_7","volume-title":"Practical Aspects of Declarative Languages","author":"J. Morales","year":"2004","unstructured":"Morales, J., Carro, M., Hermenegildo, M.: Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 86\u2013103. Springer, Heidelberg (2004)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-63166-6_16","volume-title":"Computer Aided Verification","author":"Y.S. Ramakrishna","year":"1997","unstructured":"Ramakrishna, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Swift, T., Warren, D.S.: Efficient Model Checking Using Tabled Resolution. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 143\u2013154. Springer, Heidelberg (1997)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K.F., Swift, T., Warren, D.S.: Efficient tabling mechanisms for logic programs. In: ICLP, pp. 697\u2013711 (1995)","DOI":"10.7551\/mitpress\/4298.003.0067"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(94)00039-9","volume":"23","author":"R. Ramakrishnan","year":"1993","unstructured":"Ramakrishnan, R., Ullman, J.D.: A survey of research on deductive database systems. Journal of Logic Programming\u00a023(2), 125\u2013149 (1993)","journal-title":"Journal of Logic Programming"},{"key":"14_CR14","first-page":"618","volume-title":"International Symposium on Logic Programming","author":"R. Ramesh","year":"1994","unstructured":"Ramesh, R., Chen, W.: A Portable Method for Integrating SLG Resolution into Prolog Systems. In: Bruynooghe, M. (ed.) International Symposium on Logic Programming, pp. 618\u2013632. MIT Press, Cambridge (1994)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/978-3-540-74610-2_38","volume-title":"ICLP 2007","author":"R. Rocha","year":"2007","unstructured":"Rocha, R., Silva, C., Lopes, R.: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 444\u2013445. Springer, Heidelberg (2007)"},{"issue":"3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Transactions on Programming Languages and Systems\u00a020(3), 586\u2013634 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR17","unstructured":"Silva, C.: On Applying Program Transformation to Implement Tabled Evaluation in Prolog. Master\u2019s thesis, Faculdade de Ci\u00eancias, Universidade do Porto (January 2007)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11603023_11","volume-title":"Practical Aspects of Declarative Languages","author":"Z. Somogyi","year":"2005","unstructured":"Somogyi, Z., Sagonas, K.: Tabling in Mercury: Design and Implementation. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol.\u00a03819, pp. 150\u2013167. Springer, Heidelberg (2005)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, M.: OLD resolution with tabulation. In: Third International Conference on Logic Programming, London. LNCS, pp. 84\u201398. Springer, Heidelberg (1986)"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D.S. Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for logic programs. Communications of the ACM\u00a035(3), 93\u2013111 (1992)","journal-title":"Communications of the ACM"},{"key":"14_CR21","first-page":"684","volume-title":"Fifth International Conference and Symposium on Logic Programming","author":"R. Warren","year":"1988","unstructured":"Warren, R., Hermenegildo, M., Debray, S.K.: On the Practicality of Global Flow Analysis of Logic Programs. In: Fifth International Conference and Symposium on Logic Programming, pp. 684\u2013699. MIT Press, Cambridge (1988)"},{"key":"14_CR22","unstructured":"Zhou, N.-F., Sato, T., Shen, Y.-D.: Linear Tabling Strategies and Optimizations. Theory and Practice of Logic programming (accepted for publication 2007), http:\/\/arxiv.org\/abs\/0705.3468v1"},{"key":"14_CR23","unstructured":"Zhou, N.-F., Shen, Y.-D., Yuan, L.-Y., You, J.-H.: Implementation of a linear tabling mechanism. Journal of Functional and Logic Programming\u00a02001(10) (October 2001)"},{"key":"14_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-540-30960-4_16","volume-title":"Formal Approaches to Agent-Based Systems","author":"Y. Zou","year":"2004","unstructured":"Zou, Y., Finin, T., Chen, H.: F-OWL: An Inference Engine for Semantic Web. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 238\u2013248. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77442-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T14:55:34Z","timestamp":1708440934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77442-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540774419","9783540774426"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77442-6_14","relation":{},"subject":[]}}