Memory usage verification for OO programs

Hdl Handle:
http://hdl.handle.net/10149/110741
Title:
Memory usage verification for OO programs
Book Title:
Static analysis
Authors:
Chin, W-N. (Wei-Ngan); Nguyen, H. H. (Huu Hai); Qin, S. (Shengchao); Rinard, M. (Martin)
Editors:
Hankin, C. (Chris); Siveroni, I. (Igor)
Affiliation:
University of Durham. Department of Computer Science.
Citation:
Chin, W-N. et. al. (2005) 'Memory usage verification for OO programs', 12th international symposium on static analysis, SAS 2005, London, September 7-9 September 2005, in Hankin, C. and Siveroni, I. (eds) Static analysis, Lecture notes in computer science, Vol. 3672. Heidelberg: Springer-Verlag, pp.70-86.
Publisher:
Springer-Verlag
Conference:
12th international symposium on static analysis, SAS 2005, London, September 7-9 September 2005
Issue Date:
2005
URI:
http://hdl.handle.net/10149/110741
DOI:
10.1007/11547662_7
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
object-oriented language; data structures; heap memory; symbolic Presburger arithmetic expressions
Series/Report no.:
Lecture notes in computer science; 3672
ISSN:
0302-9743
ISBN:
9783540285847
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
7 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.authorNguyen, H. H. (Huu Hai)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorRinard, M. (Martin)en
dc.contributor.editorHankin, C. (Chris)en
dc.contributor.editorSiveroni, I. (Igor)en
dc.date.accessioned2010-09-06T14:26:13Z-
dc.date.available2010-09-06T14:26:13Z-
dc.date.issued2005-
dc.identifier.isbn9783540285847-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/11547662_7-
dc.identifier.urihttp://hdl.handle.net/10149/110741-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries3672en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjectobject-oriented languageen
dc.subjectdata structuresen
dc.subjectheap memoryen
dc.subjectsymbolic Presburger arithmetic expressionsen
dc.titleMemory usage verification for OO programsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Durham. Department of Computer Science.en
dc.title.bookStatic analysisen
dc.identifier.conference12th international symposium on static analysis, SAS 2005, London, September 7-9 September 2005en
ref.citationcount7 [Scopus, 06/09/2010]en
or.citation.harvardChin, W-N. et. al. (2005) 'Memory usage verification for OO programs', 12th international symposium on static analysis, SAS 2005, London, September 7-9 September 2005, in Hankin, C. and Siveroni, I. (eds) Static analysis, Lecture notes in computer science, Vol. 3672. Heidelberg: Springer-Verlag, pp.70-86.-
prism.startingPage70-
prism.endingPage86-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.