© 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}, }