dc.contributor.advisor | Hedrick, G. E. | |
dc.contributor.author | Matzen, Richard Walter | |
dc.date.accessioned | 2015-08-28T15:49:43Z | |
dc.date.available | 2015-08-28T15:49:43Z | |
dc.date.issued | 1987-07-01 | |
dc.identifier.uri | https://hdl.handle.net/11244/17024 | |
dc.description.abstract | A method for characterizing functions In FP, a functional programming language, was developed to support execution time cost analysis. A set of restrictions of each function In FP Is defined which corresponds to the possible computation sequences of the function. Then a method Is shown to construct equations for the domain and the range of each restriction. Proofs are given that the method Is correct and examples are shown. A program was written to Implement the method and results of program execution are shown In table form. The results show that the method can be used to estimate the execution time cost of f over the data domain, o. A subset of FP Is considered which includes functions for condition, construction, and composition. | |
dc.format | application/pdf | |
dc.language | en_US | |
dc.publisher | Oklahoma State University | |
dc.rights | Copyright is held by the author who has granted the Oklahoma State University Library the non-exclusive right to share this material in its institutional repository. Contact Digital Library Services at lib-dls@okstate.edu or 405-744-9161 for the permission policy on the use, reproduction or distribution of this material. | |
dc.title | Characterization of Functions for Execution Time Cost Analysis in Fp | |
dc.type | text | |
dc.contributor.committeeMember | Fisher, Donald | |
osu.filename | Thesis-1987-M446c.pdf | |
osu.accesstype | Open Access | |
dc.description.department | Computing and Information Science | |
dc.type.genre | Thesis | |