[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode
Wang, Shengyi, Qiu, Zongyan, Qin, Shengchao, Chin, Wei-NganYear:
2010
Language:
english
DOI:
10.1109/TASE.2010.24
File:
PDF, 267 KB
english, 2010