Automatic synthesis of specifications for first order curry programs.

Giovanni Bacci, Marco Comini, Marco Antonio Feli, Alicia Villanueva

Browse the full PPDP paper archive.