Partial Deduction and Driving are Equivalent

Robert Glück, Morten Heine Sørensen. Partial Deduction and Driving are Equivalent. In Manuel V. Hermenegildo, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings. Volume 844 of Lecture Notes in Computer Science, pages 165-181, Springer, 1994.

Abstract

Abstract is missing.