Hoare Logic, Executable Specifications and Logic Programs.
Norbert E. Fuchs · 1992
this paper, I present a new method that is based on non-executable logic specifications derived from Hoare correctness formulae for logic programs. Logic specifications specify the same programs, they are equivalent to correctness formulae. 2