On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation

Ricardo Rocha. On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. In Michael Hanus, editor, Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Volume 4354 of Lecture Notes in Computer Science, pages 155-169, Springer, 2007. [doi]

Abstract

Abstract is missing.