School of Computing

Modelling garbage collection algorithms - extend abstract

Howard Bowman, John Derrick, and Richard E. Jones

In Proceedings of Principles of Distributed Computing'94, pages 182-196, January 1994 Extended abstract of CCS94.


We show how abstract requirements of garbage collection can be captured using temporal logic. The temporal logic specification can then be used as a basis for process algebra specifications which can involve varying amounts of parallelism. We present two simple CCS specifications as an example, followed by a more complex specification of the cyclic reference counting algorithm. The verification of such algorithms is then briefly discussed.

Download publication 137 kbytes (PostScript)

Bibtex Record

author = {Howard Bowman and John Derrick and Richard E. Jones},
title = {Modelling Garbage Collection Algorithms --- Extend abstract},
month = {January},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Extended abstract of CCS94},
doi = {},
url = {},
    booktitle = {Proceedings of Principles of Distributed Computing'94},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014