Damien Sereni. Termination analysis and call graph construction for higher-order functional programs. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 71-84, ACM, 2007. [doi]
@inproceedings{Sereni07, title = {Termination analysis and call graph construction for higher-order functional programs}, author = {Damien Sereni}, year = {2007}, doi = {10.1145/1291151.1291165}, url = {http://doi.acm.org/10.1145/1291151.1291165}, tags = {program analysis, functional programming, analysis, termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Sereni07}, cites = {0}, citedby = {0}, pages = {71-84}, booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007}, editor = {Ralf Hinze and Norman Ramsey}, publisher = {ACM}, isbn = {978-1-59593-815-2}, }