P.: Abstract Interpretation based Verification of Logic Programs (0)

by M Comini, R Gori, G Levi, Volpe
Venue:Science of Computer Programming 49(1-3), 89–123 (2003) Abstract Diagnosis of First Order Functional Logic Programs 233