© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Transformation in HaRe
Chau Nguyen-Viet
Technical report, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2004.Abstract
HaRe [?] is a system developed at the University of Kent Computing Laboratory to support refactoring in Haskell. We also want HaRe to be an open platform to support general Haskell program transformation so it can be used by other researchers in the field. This paper demonstrates the facilities HaRe provides for program transformation by implementing a deforestation transformation as a case study.
Download publication 161 kbytes (PDF)Bibtex Record
@techreport{2021,
author = {Chau Nguyen-Viet},
title = {{Transformation in HaRe}},
month = {December},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/2021},
publication_type = {techreport},
submission_id = {29677_1102607862},
address = {University of Kent, Canterbury, Kent, UK},
institution = {University of Kent, Computing Laboratory},
}