The compiler uses reference numbers in preference to addresses because they can be stored more compactly.
Then is non-trivial, compactly covered and does not peripherally contain any punctures.
For the compactly supported ones, the approach for fast evaluation and solution of the linear system is, of course, not required.
We will build up our isotopy from a finite sequence of isotopies, each compactly supported in a union of squares of sidelength approximately 100.
We compactly approximate this set as a single control-flow graph with two kinds of edges (see section 8).
In our more general topological setting, a natural first attempt at doing something similar is to restrict to compactly generated spaces with countable (topological) bases.
As a result, the subsequent acceleration occurs compactly.
Thus, compactly generated predomains extend the world of traditional domain theory.
