Static check analysis for Java stack inspection

Byeong-Mo Chang. Static check analysis for Java stack inspection. SIGPLAN Notices, 41(3):40-48, 2006. [doi]

Abstract

Abstract is missing.