The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages

Giovanni Bacci, Marco Comini, Marco A. Feliú & Alicia Villanueva
This paper discusses on the additional issues for the automatic inference of algebraic property-oriented specifications which arises because of interaction between laziness and logical variables in lazy functional logic languages. We present an inference technique that overcomes these issues for the first-order fragment of the lazy functional logic language Curry. Our technique statically infers from the source code of a Curry program a specification which consists of a set of equations relating (nested) operation calls...