On the Algebraic Derivation of Garbage Collectors

erschienen 2012 in T. G. Griffin and W. Kahl (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 13) --- PhD Programme, 2012.

Abstract: We give an algebraic characterisation of reachability and non-reachability in modal Kleene algebras. By this we derive a general algorithm for garbage collectors and present some further algebraic optimisations. The given approach is fully expressible in first-order logic and hence provides an abstract and general framework for automated and machine-guided derivations of garbage collecting algorithms.