Treffer: Stack bound inference for abstract Java Bytecode

Title:
Stack bound inference for abstract Java Bytecode
Authors:
Wang, S., Qiu, Z., Qin, S., Chin, W.-N.
Contributors:
COMPUTER SCIENCE
Source:
Scopus
Publication Year:
2010
Collection:
National University of Singapore: ScholarBank@NUS
Subject Terms:
Fixpoint analysis, Java Bytecode, Memory inference, Program analysis, Stack boundary, Tool
Document Type:
Konferenz conference object
Language:
unknown
ISBN:
978-0-7695-4148-8
0-7695-4148-8
Relation:
http://scholarbank.nus.edu.sg/handle/10635/40732; NOT_IN_WOS
Availability:
http://scholarbank.nus.edu.sg/handle/10635/40732
Accession Number:
edsbas.449200EE
Database:
BASE

Weitere Informationen

10.1109/TASE.2010.24 ; Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010 ; 57-66