John Regehr Alastair Reid Kirk Webb Eliminating stack overflow by abstract interpretation. 751-778 2005 4 ACM Trans. Embedded Comput. Syst. 4 http://doi.acm.org/10.1145/1113830.1113833 db/journals/tecs/tecs4.html#RegehrRW05