© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Naive tools for studying compilation histories
Matthew C. Jadud and Sally A. Fincher
techreport 3-03, University of Kent, Computing Laboratory, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, March 2003. Download publication 205 kbytes (PDF)Bibtex Record
@techreport{1588,
author = {Matthew C. Jadud and Sally A. Fincher},
title = {Naive tools for studying compilation histories},
month = {March},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1588},
publication_type = {techreport},
submission_id = {18766_1047654084},
type = {techreport},
number = {3-03},
address = {Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF},
institution = {University of Kent, Computing Laboratory},
}