@inproceedings{a8dd3ca834634faf96de95c4fea81374,
title = "Integer constraints to stop deforestation",
abstract = "Deforestation is a transformation of functional programs to remove intermediate data structures. It is based on outermost unfolding of function calls where folding is introduced to avoid repeated unfolding of the same expression. Since unrestricted unfolding may encounter arbitrarily many terms, a termination analysis has to determine those subterms where unfolding is possibly dangerous. We show that such an analysis can be obtained from a control flow analysis by an extension with integer constraints — essentially at no loss in efficiency.",
author = "Helmut Seidl",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 6th European Symposium on Programming Languages and Systems, ESOP 1996 ; Conference date: 22-04-1996 Through 24-04-1996",
year = "1996",
doi = "10.1007/3-540-61055-3_46",
language = "English",
isbn = "3540610553",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "326--340",
editor = "Nielson, {Hanne Riis}",
booktitle = "Programming Languages and Systems - ESOP 1996 - 6th European Symposium on Programming, Proceedings",
}