An axiomatic basis for computer programming
In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and…
An axiomatic basis for computer programming
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved