School of Computing

Cyclic weighted reference counting

Rafael D. Lins and Richard E. Jones

In WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria, pages 182-196, May 1993 Also in UKC Computing Laboratory Technical Report 95, December 1991, revised November 1992.

Bibtex Record

@inproceedings{23,
author = {Rafael D. Lins and Richard E. Jones},
title = {Cyclic Weighted Reference Counting},
month = {May},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Also in UKC Computing Laboratory Technical Report 95, December 1991, revised November 1992},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/23},
    annote = {The original version},
    booktitle = {WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria},
}

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

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

Last Updated: 21/03/2014