© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Generalising diverging sequences of rewrite rules by synthesising new sorts
M. Thomas and P. Watson
In S.L. Peyton Jones, G. Hutton, and C. Kehler Holst, editors, Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming, Workshops in Computing, pages 182-196. Springer Verlag, January 1991.Bibtex Record
@inproceedings{724,
author = {M. Thomas and P. Watson},
title = {Generalising diverging sequences of rewrite rules by synthesising new sorts},
month = {January},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/724},
booktitle = {Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming},
editor = {S.L. Peyton Jones and G. Hutton and C. Kehler Holst},
publisher = {Springer Verlag},
refereed = {Yes},
series = {Workshops in Computing},
}