@proceedings {BacciCFV12, title = {The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages}, journal = {Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)}, volume = {17}, year = {2012}, pages = {144-153}, address = {Budapest, Hungary}, abstract = {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 that have the same behavior. Our proposal is a (glass-box) semantics-based inference method which can guarantee, to some extent, the correctness of the inferred specification, differently from other (black-box) approaches based on testing techniques.}, keywords = {Curry, property-oriented specifications, semantics-based inference methods}, isbn = {978-3-939897-43-9}, issn = {978-3-939897-43-9}, author = {Giovanni Bacci and Marco Comini and Marco Antonio Feli{\'u} and Alicia Villanueva}, editor = {Agostino Dovier and V. Santos Costa} }