Characterization of Functions for Execution Time Cost Analysis in Fp
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.
Collections
- OSU Theses [15752]