file.pdf (1013.2 kB)
The Characterization Problem for Hoare Logics
journal contribution
posted on 2006-12-04, 00:00 authored by Edmund M ClarkeResearch by this author and others has shown that there are natural programming control language control structures which are impossible to describe accurately by means of Hoare axioms.