Formally Based Profiling for Higher-Order Functional Languages

@article{Sansom1997FormallyBP,
  title={Formally Based Profiling for Higher-Order Functional Languages},
  author={Patrick M. Sansom and Simon L. Peyton Jones},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1997},
  volume={19},
  pages={334-385}
}
We present the first source-level profiler for a compiled, nonstrict, higher-order, purely functional language capable of measuring time as well as space usage. Our profiler is implemented in a production-quality optimizing compiler for Haskell and can successfully profile large applications. A unique feature of our approach is that we give a formal specification of the attribution of execution costs to cost centers. This specification enables us to discuss our design decisions in a precise… CONTINUE READING
Highly Cited
This paper has 72 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 41 extracted citations

72 Citations

0510'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 72 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Deriving a Lazy Abstract Machine

J. Funct. Program. • 1997
View 6 Excerpts
Highly Influenced

Compilation by transformation in non-strict functional languages

A. Santos
Ph.D. thesis, Res. Rep. FP-1995-17, Dept. of Computing Science, Univ. of Glasgow, Scotland. • 1995
View 4 Excerpts
Highly Influenced

The Chalmers Lazy-ML Compiler

View 5 Excerpts
Highly Influenced

Heap Profiling of Lazy Functional Programs

J. Funct. Program. • 1993
View 3 Excerpts
Highly Influenced

An Execution Profiler for Modular Programs

Softw., Pract. Exper. • 1983
View 6 Excerpts
Highly Influenced

New Dimensions in Heap Profiling

J. Funct. Program. • 1996
View 4 Excerpts
Highly Influenced

A Natural Semantics for Lazy Evaluation

POPL • 1993
View 3 Excerpts
Highly Influenced

The nofib Benchmark Suite of Haskell Programs

Functional Programming • 1992
View 2 Excerpts
Highly Influenced

How to Make ad-hoc Polymorphism Less ad-hoc

View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…