© University of Kent - Contact | Feedback | Legal | FOI | Cookies
GOTO (Considered Harmful)^n, n is Odd
P.H. Welch
Occam User Group Newsletter, 8:182-196, January 1988.Bibtex Record
@article{244,
author = {P.H. Welch},
title = {{GOTO (Considered Harmful)$^{n}$, n is Odd}},
month = {January},
year = {1988},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1988/244},
author_ids = {phw},
journal = {Occam User Group Newsletter},
volume = {8},
}