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

72 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
Country/TerritoryTaiwan, Province of China
CityTaipei
Period25/08/1027/08/10
Internet address

Cite this