Narrowing Approximations as an Optimization for Equational Logic Programs

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. Narrowing Approximations as an Optimization for Equational Logic Programs. In Maurice Bruynooghe, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Volume 714 of Lecture Notes in Computer Science, pages 391-409, Springer, 1993.

Abstract

Abstract is missing.