Communications of the ACM, vol. 26, issue 11 (1983) pp. 882-894
A technique is presented for developing programs from informal bat precise English descriptions. The technique shows how to derive data types from common nouns, variables from direct references, operators from verbs and attribates, and control structures from their English equivalents. The primary contribation is the proposed relationships between common nouns and data types; the others follow directly. Ada is used as the target programming language because it has useful program design constructs.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below