Proof Methods for Definite Programs
The MIT Press eBooks · 1993
This chapter contains sections titled: Introduction, Verification of programs with respect to the declarative semantics, Verification of programs with respect to the unification semantics, Verification of run-time properties, Discussion and bibliographical comments