@MISC{Lifschitz98oncalculational, author = {Vladimir Lifschitz}, title = {On Calculational Proofs}, year = {1998} }

Bookmark

OpenURL

Abstract

This note is about the "calculational style" of presenting proofs introduced by Dijkstra and Scholten and adopted in some books on theoretical computer science. We define the concept of a calculation, which is a formal counterpart of the idea of a calculational proof. The definition is in terms of a new formalization DS of predicate logic.