Proof of Correctness of Decision Table Programs
Open Access
- 1 January 1984
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 27 (3) , 230-232
- https://doi.org/10.1093/comjnl/27.3.230
Abstract
Proof methods adequate for computer programs expressed in a wide range of languages are well developed. One program construct, however, has been neglected—namely, that of decision tables. It is shown here how decision table programs can be proved correct. The use of their level structure and the treatment of ‘impossible’ rules are of special significance. The method is illustrated by a proof of a bubble sort algorithm.Keywords
This publication has 0 references indexed in Scilit: