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

Browse the full ICLP paper archive.