Stack bound inference for abstract java bytecode

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

274 Downloads (Pure)

Original language	English
Title of host publication	2010 fourth international symposium on theoretical aspects of software engineering
Publisher	IEEE Computer Society
Publication status	Published - 2010
Event	4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Taipei, Taiwan, Province of China Duration: 25 Aug 2010 → 27 Aug 2010 Conference number: 4 http://www.computer.org/portal/web/csdl/doi/10.1109/TASE.2010.24

Conference	4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Country/Territory	Taiwan, Province of China
City	Taipei
Period	25/08/10 → 27/08/10
Internet address	http://www.computer.org/portal/web/csdl/doi/10.1109/TASE.2010.24

Access to Document

@inproceedings{217754bae2ea422db3d163f4e94d2d84,

title = "Stack bound inference for abstract java bytecode",

author = "Shengyi Wang and Zongyan Qiu and Shengchao Qin and Wei-Ngan Chin",

year = "2010",

language = "English",

booktitle = "2010 fourth international symposium on theoretical aspects of software engineering",

publisher = "IEEE Computer Society",

address = "United States",

note = "4th IEEE International Symposium on Theoretical Aspects of Software Engineering ; Conference date: 25-08-2010 Through 27-08-2010",

url = "http://www.computer.org/portal/web/csdl/doi/10.1109/TASE.2010.24",

}

TY - GEN

T1 - Stack bound inference for abstract java bytecode

AU - Wang, Shengyi

AU - Qiu, Zongyan

AU - Qin, Shengchao

AU - Chin, Wei-Ngan

N1 - Conference code: 4

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - 2010 fourth international symposium on theoretical aspects of software engineering

PB - IEEE Computer Society

T2 - 4th IEEE International Symposium on Theoretical Aspects of Software Engineering

Y2 - 25 August 2010 through 27 August 2010

ER -