© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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},
}