Authors: Ewan Tempero, Robert Biddle
Source: GZipped PostScript (50kb); Adobe PDF (224kb)
An important aspect of reusing code is making sure it is used correctly. The easier it is to do this, the easier it is reuse the code with confidence. However techniques developed to do such checking, such as type systems, are not universally accepted because they are regarded as being too difficult to use or too restrictive. We discuss a model of reusability in which the study of techniques for the ``checkability'' of code might be carried out.