Peiyi Tang Complete inlining of recursive calls: beyond tail-recursion elimination. 579-584 2006 conf/ACMse/2006 ACM Southeast Regional Conference http://doi.acm.org/10.1145/1185448.1185574 db/conf/ACMse/ACMse2006.html#Tang06