next up previous contents
Next: Timing Up: Strategies Previous: Lookahead

Profiling

The profiling tool records two types of information; memory usage and time requirements (see [25]). The results can be plotted graphically and illustrate roughly what portion of the time or space used is attributable to functions marked as being of interest.



Martin Escardo
5/11/2000