Stack Bound Inference for Abstract Java Bytecode.

Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin

Browse the full TASE paper archive.