A higher-order logical framework for the algorithmic debugging and verification of declarative programs.

Rafael del Vado Vrseda

Browse the full PPDP paper archive.