© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Resolved: Objects early has failed
Owen Astrachan, Kim Bruce, Elliot Koffman, Michael K�lling, and Stuart Reges
In SIGCSE'05 Proceedings, volume 37, pages 182-196. ACM, February 2005. Download publication 133 kbytes (PDF)Bibtex Record
@inproceedings{2359,
author = {Owen Astrachan and Kim Bruce and Elliot Koffman and Michael K�lling and Stuart Reges},
title = {Resolved: Objects Early Has Failed},
month = {February},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2359},
publication_type = {inproceedings},
submission_id = {22945_1140788274},
booktitle = {SIGCSE'05 Proceedings},
volume = {37},
publisher = {ACM},
refereed = {yes},
}