Program verificatio in functional programming systems
| dc.contributor.author | Silver, James L. | en |
| dc.contributor.department | Computer Science and Applications | en |
| dc.date.accessioned | 2021-10-26T20:09:50Z | en |
| dc.date.available | 2021-10-26T20:09:50Z | en |
| dc.date.issued | 1983 | en |
| dc.description.abstract | Functional programming systems provide a number of features which facilitate program verification. Such verification may be observed to rest directly upon the theoretical foundations of computing and simultaneously to exhibit a close relation to the programs being verified. In order to demonstrate these aspects of functional systems, two functions, MIN and SORT, are defined on a parameterized type consisting of sequences to elements from some ordered type. Theorems showing that MIN and SORT terminate and return the correct values are stated and proved. Similar results are derived for a function to perform a binary search on an ordered sequence. Finally, conditions similar to Dijkstra’s weakest preconditions are given which allow the simultaneous synthesis and verification of certain programs from program specifications. A function to find the greatest common division of two integers is derived and verified. | en |
| dc.description.degree | M.S. | en |
| dc.format.extent | iii, 55 pages, 1 unnumbered leaves | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.uri | http://hdl.handle.net/10919/106016 | en |
| dc.language.iso | en | en |
| dc.publisher | Virginia Polytechnic Institute and State University | en |
| dc.relation.isformatof | OCLC# 10292330 | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject.lcc | LD5655.V855 1983.S54 | en |
| dc.subject.lcsh | Computer programs -- Verification | en |
| dc.title | Program verificatio in functional programming systems | en |
| dc.type | Thesis | en |
| dc.type.dcmitype | Text | en |
| thesis.degree.discipline | Computer Science and Applications | en |
| thesis.degree.grantor | Virginia Polytechnic Institute and State University | en |
| thesis.degree.level | masters | en |
| thesis.degree.name | M.S. | en |
Files
Original bundle
1 - 1 of 1