© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Proceedings of the First International Symposium on Memory Management
Richard Jones, editor
Vancouver, Canada, October 1998. ACM ISMM is the successor to the IWMM series of workshops.Bibtex Record
@proceedings{624,
author = {},
title = {Proceedings of the {F}irst {I}nternational {S}ymposium on {M}emory {M}anagement},
month = {October},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISMM is the successor to the IWMM series of workshops},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/624},
ISBN = {1-58113-114-3},
address = {Vancouver, Canada},
editor = {Richard Jones},
publisher = {ACM},
}