Damien Sereni, Neil D. Jones. Termination Analysis of Higher-Order Functional Programs. In Kwangkeun Yi, editor, Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings. Volume 3780 of Lecture Notes in Computer Science, pages 281-297, Springer, 2005. [doi]
@inproceedings{SereniJ05, title = {Termination Analysis of Higher-Order Functional Programs}, author = {Damien Sereni and Neil D. Jones}, year = {2005}, doi = {10.1007/11575467_19}, url = {http://dx.doi.org/10.1007/11575467_19}, tags = {program analysis, functional programming, analysis, termination}, researchr = {https://researchr.org/publication/SereniJ05}, cites = {0}, citedby = {0}, pages = {281-297}, booktitle = {Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings}, editor = {Kwangkeun Yi}, volume = {3780}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-29735-9}, }