Hoare Intention

quote:hoare_intention

The most important property of a program is whether it accomplishes the intention of its user. - C.A.R. Hoare