Arne J. Glenstrup, Neil D. Jones. Termination analysis and specialization-point insertion in offline partial evaluation. ACM Transactions on Programming Languages and Systems, 27(6):1147-1215, 2005. [doi]
@article{GlenstrupJ05, title = {Termination analysis and specialization-point insertion in offline partial evaluation}, author = {Arne J. Glenstrup and Neil D. Jones}, year = {2005}, doi = {10.1145/1108970.1108973}, url = {http://doi.acm.org/10.1145/1108970.1108973}, tags = {analysis, termination, partial evaluation}, researchr = {https://researchr.org/publication/GlenstrupJ05}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {27}, number = {6}, pages = {1147-1215}, }