Formally Based Profiling for Higher-Order Functional Languages (1997)
BibTeX
@MISC{And97formallybased,
author = {Patrick Sansom And and Patrick M. Sansom and Simon L. Peyton Jones},
title = {Formally Based Profiling for Higher-Order Functional Languages},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Costs Cost of Denoted Application A Case expression C Evaluating a thunk V Updating a thunk U Allocating a heap object H Entering an scc E vocabulary: ---cost center (cc): a label to which costs are attributed. ---cost attribution (`): a finite mapping of cost centers to costs. A cost attribution records the total costs attributed to each cost center. Two cost attributions are combined using (an overloaded) + . We also use \Gamma to remove costs from an attribution. (` 1 + attr ` 2 )(cc) = ` 1 (cc) + cost ` 2 (cc) (` 1 \Gamma attr ` 2 )(cc) = ` 1 (cc) \Gamma cost ` 2 (cc) ---heap (\Gamma; \Delta; \Theta;\Omega\Gamma1 an annotated mapping from variable names to expressions. We use the notation \Gamma[x cc 7! e] to extend the heap \Gamma with a mapping from x to the expression e annotated with cost center cc. In general, the cost center attached to a heap binding is the cost center which enclosed that binding. It serves two purposes: to ensure correct cost attribution when a thunk (un...
Keyphrases
cost center higher-order functional language cost attribution gamma cost heap gamma correct cost attribution heap object entering thunk allocating omega gamma1 cost attribution record gamma attr annotated mapping cost center cc notation gamma finite mapping heap binding total cost scc vocabulary variable name cost cost denoted application case expression evaluating
