Stefan Schäckeler Weijia Shang Stack size reduction of recursive programs. 48-52 2007 conf/cases/2007 CASES http://doi.acm.org/10.1145/1289881.1289892 db/conf/cases/cases2007.html#SchackelerS07