Stack bound inference for abstract java bytecode

Hdl Handle:
http://hdl.handle.net/10149/113874
Title:
Stack bound inference for abstract java bytecode
Book Title:
2010 fourth international symposium on theoretical aspects of software engineering
Authors:
Wang, S. (Shengyi); Qiu, Z. (Zongyan); Qin, S. (Shengchao); Chin, W-N. (Wei-Ngan)
Editors:
Liu, J. (Jing); Peled, D. A. (Doran); Wang, B-Y. (Bow-Yaw); Wang, F. (Farn)
Affiliation:
University of Teesside. School of Computing.
Citation:
Wang, S. et. al. (2010) 'Stack bound inference for abstract java bytecode', 2010 4th IEEE international symposium on theoretical aspects of software engineering, Taipei, Taiwan, August 25-27, in Liu, J. et. al. (eds) Proceedings. California: IEEE, pp.57-66.
Publisher:
IEEE
Conference:
2010 4th IEEE international symposium on theoretical aspects of software engineering, Taipei, Taiwan, August 25-27
Issue Date:
2010
URI:
http://hdl.handle.net/10149/113874
DOI:
http://doi.ieeecomputersociety.org/10.1109/TASE.2010.24
Additional Links:
http://www.computer.org/portal/web/csdl/doi/10.1109/TASE.2010.24
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
memory inference; progam analysis; java bytecode; stack boundary; fixpoint analysis
ISBN:
9780769541488
Rights:
Author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 27/10/2010]
Citation Count:
0 [Web of Science and Scopus, 27/10/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorWang, S. (Shengyi)en
dc.contributor.authorQiu, Z. (Zongyan)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorLiu, J. (Jing)en
dc.contributor.editorPeled, D. A. (Doran)en
dc.contributor.editorWang, B-Y. (Bow-Yaw)en
dc.contributor.editorWang, F. (Farn)en
dc.date.accessioned2010-10-27T10:30:08Z-
dc.date.available2010-10-27T10:30:08Z-
dc.date.issued2010-
dc.identifier.isbn9780769541488-
dc.identifier.doihttp://doi.ieeecomputersociety.org/10.1109/TASE.2010.24-
dc.identifier.urihttp://hdl.handle.net/10149/113874-
dc.language.isoenen
dc.publisherIEEEen
dc.relation.urlhttp://www.computer.org/portal/web/csdl/doi/10.1109/TASE.2010.24en
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 27/10/2010]en
dc.subjectmemory inferenceen
dc.subjectprogam analysisen
dc.subjectjava bytecodeen
dc.subjectstack boundaryen
dc.subjectfixpoint analysisen
dc.titleStack bound inference for abstract java bytecodeen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapter-
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.book2010 fourth international symposium on theoretical aspects of software engineeringen
dc.identifier.conference2010 4th IEEE international symposium on theoretical aspects of software engineering, Taipei, Taiwan, August 25-27en
ref.citationcount0 [Web of Science and Scopus, 27/10/2010]en
or.citation.harvardWang, S. et. al. (2010) 'Stack bound inference for abstract java bytecode', 2010 4th IEEE international symposium on theoretical aspects of software engineering, Taipei, Taiwan, August 25-27, in Liu, J. et. al. (eds) Proceedings. California: IEEE, pp.57-66.-
prism.startingPage57-
prism.endingPage66-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.