An interactive programming aid called the programmer's apprentice (PA) has been developed. The intention is that the programmer will do the hard parts of design and implementation, while PA will supply all routine...
详细信息
An interactive programming aid called the programmer's apprentice (PA) has been developed. The intention is that the programmer will do the hard parts of design and implementation, while PA will supply all routine elements. The current version of PA is composed of 5 parts: 1. an analyzer that can construct the plan for a program, 2. a coder that can create program text corresponding to the plan, 3. a drawer that can draw a graphical representation of the plan, 4. a library of plans for common algorithmic fragments, and 5. a plan editor that makes it possible for a programmer to modify a program by modifying its plan.
This report describes a macroprocessor, ‘Supermac’, and its use for modularization of large programs. The development of the macroprocessor and its application to program modularization was undertaken in a research ...
详细信息
This report describes a macroprocessor, ‘Supermac’, and its use for modularization of large programs. The development of the macroprocessor and its application to program modularization was undertaken in a research project sponsored by GEC Telecommunications, Coventry, and this document forms the final report of that project. The project arose from the wish to be able to structure large pieces of software, written in a conventional programming language, in order to make them more easily understood and hence more easily constructed, maintained and modified. In this report the use of the specially developed Supermac macroprocessor to achieve better structured programs will be described in detail. A full definition of the Supermac notation.
An attempt is made to formulate techniques of program modification, whereby a given program that achieves one goal can be transformed into a new program that uses the same principles to achieve a different goal. For e...
详细信息
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to ...
详细信息
暂无评论