Loading...
Please wait, while we are loading the content...
Similar Documents
Transformational derivation of programs using the focus system
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Reddy, Uday S. |
| Copyright Year | 1988 |
| Description | A program derivation support system called Focus is being constructed. It will formally derive programs using the paradigm of program transformation. The following issues are discussed: (1) the integration of validation and program derivation activities in the Focus system; (2) its tree-based user interface; (3) the control of search spaces in program derivation; and (4) the structure and organization of program derivation records. The inference procedures of the system are based on the integration of functional and logic programming principles. This brings about a synthesis of paradigms that were heretofore considered far apart, such as logical and executable specifications and constructive and transformational approaches to program derivation. A great emphasis has been placed, in the design of Focus, on achieving small search spaces during program derivation. The program manipulation operations such as expansion, simplification and rewriting were designed with this objective. The role of operations that are expensive in search spaces, such as folding, has been reduced. Program derivations are documented in Focus in a way that the high level descriptions of derivations are expressed only using program level information. All the meta-level information, together with dependencies between derivations of program components, is automatically recorded by the system at a lower level of description for its own use in replay. |
| File Size | 1339535 |
| Page Count | 22 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19890015431 |
| Archival Resource Key | ark:/13960/t89h0jk25 |
| Language | English |
| Publisher Date | 1988-09-02 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Computer Programming Human-computer Interface Logic Programming Applications Programs Computers Software Development Tools Computer Aided Design Program Verification Computers Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
