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
In this paper, the relation between WHILE-programs and formal prrjnfs of their quantified specificationis studied. This gives us a logical basis foa programming methodology since the programming concepts such as assignment statements, IIF-statements and WHI[LE-statements are fully explained logically, here '1ogiczAly' means 'how to think '., As an example, H:oare's progra& . FIND is stprdied methodologically.doi:10.1016/0304-3975(81)90030-x fatcat:wcgq5uwon5hbnfwppz7xpau6di