Inferring Argument Size Relationships with CLP(R)

Florence Benoy, Andy King. Inferring Argument Size Relationships with CLP(R). In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 204-223, Springer, 1996.

Abstract

Abstract is missing.