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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.