𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automated derivation of program control structure from natural language program descriptions

✍ Scribed by Wile, David; Balzer, Robert; Goldman, Neil


Book ID
121760806
Publisher
Association for Computing Machinery
Year
1977
Weight
649 KB
Volume
64
Category
Article
ISSN
0163-5719

No coin nor oath required. For personal study only.

✦ Synopsis


This paper describes a system which organizes a natural language description of a program into a conventional program control structure, as a part of a larger system for converting informal natural language program specifications into running programs. Analysis of the input program fragments using a model of a human β€œreader” of specifications has been found to be a very successful adjunct to conventional β€œplanning” methodologies.

Natural language descriptions of programs can frequently be characterized as β€œrubble”—a very loosely organized set of almost independent description fragments [Schwartz]. Such specifications are often quite robust, due to a large degree of redundancy; they are also frequently quite concise, due to reliance on the readers' innate knowledge and their knowledge of the application domain. This paper discusses a paradigm for structuring the portion of β€œrubble” program descriptions which maps into conventional programming language control constructs and definition facilities.


πŸ“œ SIMILAR VOLUMES