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...
