|Revision $Revision: 1.3 $||28 Aug 2009||Revised by: hwl|
|Version for Summer School on Advances in Programming Languages|
This document gives guidance on how to use the amortised-cost based resource analysis for Hume. This is a very early draft.
A central design goal for Hume is the predictability of resources. The main tool that is provided to the developer of Hume programs is a static analysis, inferring bounds on resource consumption. Resources that can be handled are heap, stack, execution-time and function calls.
This document aims to give guidance on how to use the resource analysis for Hume. It is not an introduction to Hume programming, nor does it discuss the techniques used in the analysis to deliever these bounds.
Other useful resources on Hume are:
In this document we first give a quick introduction how to analyse Hume programs (Section 2). More detailed worked examples explain how to interpret the results of the analysis and how to use them in developing the Hume code (Section 3). Advanced features of the resource analysis, in particular helping to explain the result of the analysis, are discussed in Section 4. The options available to the analysis are discussed in Section 5. Internal aspects of the analysis that might be of relevance to the user are discussed in Section 6. Finally, we give information on the system including profiling, tools etc (Section 7). Information on how to install the analysis is available in Section 8. Information on how to compile and run Hume programs is available in Section 9.
|A Quick Introduction to Using the Resource Analysis for Hume|