© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Determinacy and determinacy analysis
P.M. Hill and A. King
Journal of Programming Languages, 5(1):182-196, December 1997. Download publication 300 kbytes (PostScript)Bibtex Record
@article{513, author = {P.M. Hill and A. King}, title = {Determinacy and Determinacy Analysis}, month = {December}, year = {1997}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1997/513}, journal = {Journal of Programming Languages}, number = {1}, volume = {5}, }