This thesis introduces data graphs as a formal model for the objects in a programming system’s memory, and describes three services on such data graphs: linearisation, minimisation, and transformation. The SEAM system offers an abstract store that provides a programming language’s implementor with a platformand language-independent abstraction layer, hiding the complex issues of memory manageme...

A procedure for determining two parameters to be used in Kautz approximation is presented. It is based on minimisation of an upper bound of the error energy.