Stack bound inference for abstract java bytecode

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

86 Downloads (Pure)
Original languageEnglish
Title of host publication2010 fourth international symposium on theoretical aspects of software engineering
PublisherIEEE Computer Society
Publication statusPublished - 2010
Event4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Taipei, Taiwan, Province of China
Duration: 25 Aug 201027 Aug 2010
Conference number: 4
http://www.computer.org/portal/web/csdl/doi/10.1109/TASE.2010.24

Conference

Conference4th IEEE International Symposium on Theoretical Aspects of Software Engineering
CountryTaiwan, Province of China
CityTaipei
Period25/08/1027/08/10
Internet address

Cite this

Wang, S., Qiu, Z., Qin, S., & Chin, W-N. (2010). Stack bound inference for abstract java bytecode. In 2010 fourth international symposium on theoretical aspects of software engineering IEEE Computer Society.