Failure diagnosis of declarative programs based on abstract interpretation (extended abstract).

Kaninda Musumbu

Browse the full CATA paper archive.