15 citations · 34 across the 14 of their papers we have counts for
1 paper · 1 filter
Włodzimierz Drabent
Partial correctness of imperative or functional programming divides in logic programming into two notions. Correctness means that all answers of the program are compatible with the…