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


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