A logic programming approach to the verification of functional-logic programs.

Jos Miguel Cleva, Javier Leach, Francisco Javier Lpez-Fraguas

Browse the full PPDP paper archive.