Optimization of program recursive function calls analysis method. - Chun Shan; Zequn Yu; Changzhen Hu; Jingfeng Xue; Luxia Wu (Autom. Control. Comput. Sci., 2016)