1. Introduction

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:

• An overview paper on the Hume language.

• Papers on Hume.

• An on-line version of the resource analysis.

• The Hume web page.

• Hume example programs.

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.