Diagnosis of Ill-typed Programs

A framework, based on syntactic and type constraints, isprovided for defining program slices that contribute to agiven type error or similar syntactic property. We specifysoundness, minimality and completeness criterion for theseslices and outline an algorithm for their lazy generation.1 IntroductionError diagnosis in current type-reconstruction algorithmseither misses information that is relevant, presents irrelevantdetails, or both. We propose a general framework thatdescribes a...