Loading...
Please wait, while we are loading the content...
Similar Documents
Derivation of sorting programs
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Varghese, Joseph Loganantharaj, Rasiah |
| Copyright Year | 1990 |
| Description | Program synthesis for critical applications has become a viable alternative to program verification. Nested resolution and its extension are used to synthesize a set of sorting programs from their first order logic specifications. A set of sorting programs, such as, naive sort, merge sort, and insertion sort, were successfully synthesized starting from the same set of specifications. |
| File Size | 697024 |
| Page Count | 18 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19900018003 |
| Archival Resource Key | ark:/13960/t3kx09j9f |
| Language | English |
| Publisher Date | 1990-05-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Problem Solving Logic Programming Algorithms Classifying Software Engineering Program Verification Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
