A logical basis for programming methodology

Takasu, Satoru
Kawabata, Sukemitsu

Open PDF

Open link

Publication date

December 1981

DOI

10.1016/0304-3975(81)90030-X

Publisher

Published by Elsevier B.V.

ISSN

0304-3975

Abstract

AbstractIn this paper, the relation between WHILE-programs and formal proofs of their quantified specification is studied. This gives us a logical basis for programming methodology since the programming concepts such as assignment statements, IF-statements and WHILE-statements are fully explained logically, here ‘logically’ means ‘how to think’. As an example, Hoare's program FIND is studied methodologically

Extracted data

We use cookies to provide a better user experience.

Data Protection

A logical basis for programming methodology

Abstract

Extracted data

A logical basis for programming methodology

Abstract

Extracted data

Related items

Related items