Byeong-Mo Chang Static check analysis for Java stack inspection. 40-48 2006 41 SIGPLAN Notices 3 http://doi.acm.org/10.1145/1140543.1140550 db/journals/sigplan/sigplan41.html#Chang06