A heap model for java bytecode to support separation logic

Hdl Handle:
http://hdl.handle.net/10149/113879
Title:
A heap model for java bytecode to support separation logic
Book Title:
15th Asia-Pacific software engineering conference APSEC 2008
Authors:
Luo, C. (Chenguang); He, G. (Guanhua); Qin, S. (Shengchao)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Luo, C., He, G. and Qin, S. (2008) 'A heap model for java bytecode to support separation logic', 2008 15th Asia-Pacific software engineering conference, Beijing, China, December 2-5, in Proceedings APSEC 2008. California: IEEE, pp.127-134.
Publisher:
IEEE
Conference:
2008 15th Asia-Pacific software engineering conference, Beijing, China, December 2-5
Issue Date:
2008
URI:
http://hdl.handle.net/10149/113879
DOI:
http://doi.ieeecomputersociety.org/10.1109/APSEC.2008.72
Additional Links:
http://www.computer.org/portal/web/csdl/doi/10.1109/APSEC.2008.72
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
heap model; Java bytecode language; separation logic; memory usage analysis; mobile devices
ISSN:
1530-1362
ISBN:
9780769534466
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 [Scopus, 27/10/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.authorQin, S. (Shengchao)en
dc.date.accessioned2010-10-27T14:00:20Z-
dc.date.available2010-10-27T14:00:20Z-
dc.date.issued2008-
dc.identifier.isbn9780769534466-
dc.identifier.issn1530-1362-
dc.identifier.doihttp://doi.ieeecomputersociety.org/10.1109/APSEC.2008.72-
dc.identifier.urihttp://hdl.handle.net/10149/113879-
dc.language.isoenen
dc.publisherIEEEen
dc.relation.urlhttp://www.computer.org/portal/web/csdl/doi/10.1109/APSEC.2008.72en
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 27/10/2010]en
dc.subjectheap modelen
dc.subjectJava bytecode languageen
dc.subjectseparation logicen
dc.subjectmemory usage analysisen
dc.subjectmobile devicesen
dc.titleA heap model for java bytecode to support separation logicen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.book15th Asia-Pacific software engineering conference APSEC 2008en
dc.identifier.conference2008 15th Asia-Pacific software engineering conference, Beijing, China, December 2-5en
ref.citationcount0 [Scopus, 27/10/2010]en
or.citation.harvardLuo, C., He, G. and Qin, S. (2008) 'A heap model for java bytecode to support separation logic', 2008 15th Asia-Pacific software engineering conference, Beijing, China, December 2-5, in Proceedings APSEC 2008. California: IEEE, pp.127-134.-
prism.startingPage127-
prism.endingPage134-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.