© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Programming errors in traversal programs over structured data
Ralf Laemmel, Simon Thompson, and Markus Kaiser
Science of Computer Programming, to appear:182-196, July 2013 Available online at http://dx.doi.org/10.1016/j.scico.2011.11.006.Bibtex Record
@article{3199,
author = {Ralf Laemmel and Simon Thompson and Markus Kaiser},
title = {Programming errors in traversal programs over structured data},
month = {July},
year = {2013},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Available online at http://dx.doi.org/10.1016/j.scico.2011.11.006},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2013/3199},
publication_type = {article},
submission_id = {17921_1328003577},
ISSN = {0167-6423},
journal = {Science of Computer Programming},
volume = {to appear},
publisher = {Elsevier},
}