Loading...
Please wait, while we are loading the content...
Similar Documents
Automatic program generation from specifications using prolog
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Morrow, Paul Pelin, Alex |
| Copyright Year | 1988 |
| Description | An automatic program generator which creates PROLOG programs from input/output specifications is described. The generator takes as input descriptions of the input and output data types, a set of transformations and the input/output relation. Abstract data types are used as models for data. They are defined as sets of terms satisfying a system of equations. The tests, the transformations and the input/output relation are also specified by equations. |
| File Size | 299813 |
| Page Count | 5 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19880014812 |
| Archival Resource Key | ark:/13960/t5fb9zg2w |
| Language | English |
| Publisher Date | 1988-06-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Specifications Heuristic Methods Proving Automatic Control High Level Languages Data Bases Computer Programs Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |