Accumulators: A New Logic Variable Abstractions for Functional Languages

Keshav Pingali, Kattamuri Ekanadham. Accumulators: A New Logic Variable Abstractions for Functional Languages. In Kesav V. Nori, Sanjeev Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings. Volume 338 of Lecture Notes in Computer Science, pages 377-399, Springer, 1988.

Abstract

Abstract is missing.