Arias, J. and Carro, M. 2019a. Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory and Practice of Logic Programming 19, 3, 412–448.
Arias, J. and Carro, M. 2019b. Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP. In Practical Aspects of Declarative Languages - 21st International Symposium (PADL 2019), Alferes, J. J. and Johansson, M., Eds. Lecture Notes in Computer Science, vol. 11372. Springer, 98–114.
Bruynooghe, M. 1991. A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming 10, 91–124.
Bueno, F., Lopez-Garcia, P., and Hermenegildo, M. V. 2004. Multivariant Non-Failure Analysis via Standard Abstract Interpretation. In FLOPS’04. Number 2998 in LNCS. Springer-Verlag, 100–116.
Chico de Guzmán, P., Carro, M., Hermenegildo, M. V., and Stuckey, P. 2012. A General Implementation Framework for Tabled CLP. In Int’l. Symposium on Functional and Logic Programming (FLOPS’12). Number 7294 in LNCS. Springer Verlag, 104–119.
Cousot, P. and Cousot, R. 1977. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In ACM Symposium on Principles of Programming Languages (POPL’77). ACM Press, 238–252.
Cui, B. and Warren, D. S. 2000. A system for Tabled Constraint Logic Programming. In Int’l. Conference on Computational Logic. LNCS, vol. 1861. 478–492.
Demoen, B. and Sagonas, K. 1998. CAT: The Copying Approach to Tabling. In Programming Language Implementation and Logic Programming. Lecture Notes in Computer Science, vol. 1490. Springer-Verlag, 21–35.
Dietrich, S. W. 1987. Extension Tables: Memo Relations in Logic Programming. In Fourth IEEE Symposium on Logic Programming. 264–272.
Freire, J., Swift, T., and Warren, D. S. 2001. Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. In International Symposium on Programming Language Implementation and Logic Programming. Number 1140 in LNCS. Springer-Verlag, 243–258.
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H., and Stuckey, P. J. 2013. Failure Tabled Constraint Logic Programming by Interpolation. TPLP 13, 4-5, 593–607.
Guo, H.-F. and Gupta, G. 2008. Simplifying Dynamic Programming via Mode-directed Tabling. Software: Practice and Experience 1 (Jan), 75–94.
Hermenegildo, M. V., Bueno, F., Carro, M., Lopez-Garcia, P., Mera, E., Morales, J., and Puebla, G. 2012. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming 12, 1–2 (January), 219–252. http://arxiv.org/abs/1102.5497.
Hermenegildo, M. V., Puebla, G., Bueno, F., and Lopez-Garcia, P. 2005. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming 58, 1–2 (October), 115–140.
Holzbaur, C. 1992. Metastructures vs. Attributed Variables in the Context of Extensible Unification. In Int’l. Symposium on Programming Language Implementation and Logic Programming. Number 631 in LNCS. Springer Verlag, 260–268.
Jaffar, J. and Maher, M. 1994. Constraint Logic Programming: A Survey. Journal of Logic Programming 19/20, 503–581.
Janssens, G., Bruynooghe, M., and Dumortier, V. 1995. A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs. In ILPS. 336–350.
Janssens, G. and Sagonas, K. 1998. On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. In Tabulation in Parsing and Deduction.
Kanamori, T. and Kawamura, T. 1993. Abstract Interpretation Based on OLDT Resolution. Journal of Logic Programming 15, 1–30.
Muthukumar, K. and Hermenegildo, M. 1989. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In 1989 North American Conference on Logic Programming. MIT Press, 166–189.
Muthukumar, K. and Hermenegildo, M. 1990. Deriving A Fixpoint Computation Algorithm for Top-down Abstract Interpretation of Logic Programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759. April.
Muthukumar, K. and Hermenegildo, M. 1991. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In International Conference on Logic Programming (ICLP 1991). MIT Press, 49–63.
Muthukumar, K. and Hermenegildo, M. 1992. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. JLP 13, 2/3 (July), 315–347.
Nielson, F., Nielson, H. R., and Hankin, C. 2005. Principles of Program Analysis. Springer. Second Ed.
Santos Costa, V., Rocha, R., and Damas, L. 2012. The YAP Prolog system. Theory and Practice of Logic Programming 12, 1-2, 5–34.
Schrijvers, T., Demoen, B., and Warren, D. S. 2008. TCHR: a Framework for Tabled CLP. Theory and Practice of Logic Programming 4 (Jul), 491–526.
Swift, T. and Warren, D. S. 2010. Tabling with answer subsumption: Implementation, applications and performance. In Logics in Artificial Intelligence. Vol. 6341. 300–312.
Tamaki, H. and Sato, M. 1986. OLD Resolution with Tabulation. In Third International Conference on Logic Programming. Lecture Notes in Computer Science, Springer-Verlag, London, 84–98.
Vaucheret, C. and Bueno, F. 2002. More Precise yet Efficient Type Inference for Logic Programs. In 9th International Static Analysis Symposium (SAS’02). Lecture Notes in Computer Science, vol. 2477. Springer-Verlag, 102–116.
Warren, D. S. 1992. Memoing for Logic Programs. Communications of the ACM 35, 3, 93–111.
Warren, D. S. 1999. Programming in Tabled Prolog. https://www3.cs.stonybrook.edu/~warren/xsbbook/book.html. Unpublished manuscript. Accessed on May 15, 2019.
Warren, R., Hermenegildo, M., and Debray, S. K. 1988. On the Practicality of Global Flow Analysis of Logic Programs. In Fifth International Conference and Symposium on Logic Programming. MIT Press, 684–699.
Wielemaker, J., Schrijvers, T., Triska, M., and Lager, T. 2012. SWI-Prolog. Theory and Practice of Logic Programming 12, 1-2, 67–96.
Zhou, N.-F., Kameya, Y., and Sato, T. 2010. Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. In Int’l. Conference on Tools with Artificial Intelligence. Number 2. IEEE, 213–218.