Stack Bound Inference for Abstract Java Bytecode

Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin. Stack Bound Inference for Abstract Java Bytecode. In Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang, editors, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. pages 57-66, IEEE Computer Society, 2010. [doi]

@inproceedings{WangQQC10,
  title = {Stack Bound Inference for Abstract Java Bytecode},
  author = {Shengyi Wang and Zongyan Qiu and Shengchao Qin and Wei-Ngan Chin},
  year = {2010},
  doi = {10.1109/TASE.2010.24},
  url = {http://dx.doi.org/10.1109/TASE.2010.24},
  tags = {Java},
  researchr = {https://researchr.org/publication/WangQQC10},
  cites = {0},
  citedby = {0},
  pages = {57-66},
  booktitle = {4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010},
  editor = {Jing Liu and Doron Peled and Bow-Yaw Wang and Farn Wang},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4148-8},
}