The changing needs of modern application systems demand new and radical software
architectures to support them. The attraction of persistent systems is that they define …

The technique of hyper-programming allows program representations held in a persistent
store to contain embedded links to persistent code and data. In 1994, Connor et al proposed …

The development of new technologies is setting a new era characterized, among other
factors, by the rise of sophisticated mobile devices containing CPUs and GPUs. This …

Following Aristotle's theory of substances and accidents, the difficulties in developing
software can be categorised into essences and accidents. Essences are the conceptual …

Little work has been done in garbage algorithms for distributed shared memory systems.
Mosaic is a safe and complete garbage collection system that collects garbage in object …

Hyper-programming is a technology only available in persistent systems, since hyper-
program source code contains both text and links to persistent objects. A hyper …

The research presented here takes place in the context of the EC Funded ArchWare project
which focuses on innovative architecture-centric languages, frameworks and tools for …

This paper discusses implementations of distributed garbage collectors derived using a
previously developed methodology which involves mappings of distributed termination …

The traditional representation of a program is as a linear sequence of text. At some stage in
the execution sequence the source text is checked for type correctness and its translated …

This thesis concentrates on the derivation of a modularised version of the DMOS distributed
garbage collection algorithm and the implementation of this algorithm in a distributed …