You are here

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

G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.