|
Abstract:
Program Manipulation Systems have been proposed as an alternative programming paradigm in which the PROCESSES of design and implementation are themselves the subject of study. These processes are captured and recorded to provide documentation of the program, the basis for its validation, and the framework within which future maintenance will occur. This extension of the conventional programming paradigm to include the development of the program as a computer processable object in addition to the program itself is quite profound. A key insight of the Program Manipulation approach is that transformations provide a sufficient basis for the design and implementation processes. Each development decision can be represented as a transformation applied to the program. Thus, a development if merely a linear sequence of transformations applied to the PROGRAM resulting from the previous stage of development. Each stage of the development corresponds to the transformation of a program treated as a specification into another treated as an implementation. Thus, development is an iterative (or sometimes a recursive) process of successive refinement in which a specification is gradually transformed into an implementation. This implies that the original specification of the program is itself a program (so that it can be transformed). To be a program, the specification language must have a formal semantics (thus precluding pseudo-code type languages) so that validity of transformations and of the development process is a meaningful concept. (Author)
| Description: |
Research rept. |
| Pages: |
61 |
| Report Date: |
MAY 1981 |
| Contract Number: |
NSF-MCS76-8390 |
| Report Number: |
A499101 |
Report Unavailable |
| This title is unavailable from Storming Media. We do not know when it might be available, if at all. We list the report on our site for bibliographic completeness, to help our users know what other work has been performed in this field. Please note that as with all titles on this site, we do not have contact information for any of the authors. Nor can we give any suggestions on how one might obtain this report. |
|
|
|
|
|
Keywords relating to this report:
Email This Abstract
