© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Refactorings that Split and Merge Programs
Christopher Brown and Simon Thompson
In Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, pages 182-196, Freiburg, Germany., September 2007. Download publication 133 kbytes (PDF)Bibtex Record
@inproceedings{2779, author = {{C}hristopher {B}rown and {S}imon {T}hompson}, title = {{R}efactorings that {S}plit and {M}erge {P}rograms}, month = {September}, year = {2007}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2007/2779}, publication_type = {inproceedings}, submission_id = {8361_1213217026}, booktitle = {Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007}, address = {Freiburg, Germany.}, }