Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions

Hüseyin Saglam, John P. Gallagher. Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. In Manuel V. Hermenegildo, S. Doaitse Swierstra, editors, Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Volume 982 of Lecture Notes in Computer Science, pages 461-462, Springer, 1995.

Abstract

Abstract is missing.