A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We emphasize t.hat. t.his proof process est.ablishes program correct.ness wit.h respect. t.o t.he user-supplied assert.ions. As anot.her way of looking at. t.he process, t.he proof est.ablishes t.he equivalence bet.ween a procedural descript.ion (i.e., the program) and a nonprocedural description (i.e., the assertions). From the collection of the Computer History Museum (www.computerhistory.org)doi:10.1145/1479992.1479997 dblp:conf/afips/Levitt72 fatcat:cd2w6y6p35difkvrdhq6zxdxzm