Memory usage verification using hip/sleek

Hdl Handle:
http://hdl.handle.net/10149/110685
Title:
Memory usage verification using hip/sleek
Book Title:
Proceedings of the 7th international symposium on automated technology for verification and analysis
Authors:
He, G. (Guanhua); Qin, S. (Shengchao); Luo, C. (Chenguang); Chin, W-N. (Wei-Ngan)
Editors:
Liu, Z. (Zhiming); Ravn, A. P. (Anders)
Affiliation:
Durham University
Citation:
He, G. et. al. (2009) 'Memory usage verification using hip/sleek', 7th international symposium on automated technology for verification and analysis, Macao, China, October 14 - 16, 2009, in Liu, Z. and Ravn, A. P. (eds) Proceedings. Springer-Verlag, pp.166-181.
Publisher:
Springer-Verlag
Conference:
7th international symposium on automated technology for verification and analysis, Macao, China, October 14 - 16, 2009
Issue Date:
2009
URI:
http://hdl.handle.net/10149/110685
DOI:
10.1007/978-3-642-04761-9_14
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
automated verification; compile time; memory footprint; memory operations; memory usage; novel solutions; software failure
Series/Report no.:
Lecture notes in computer science; 5799
ISBN:
9783642047602
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
0 [Scopus, 03/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorLiu, Z. (Zhiming)en
dc.contributor.editorRavn, A. P. (Anders)en
dc.date.accessioned2010-09-03T14:09:52Z-
dc.date.available2010-09-03T14:09:52Z-
dc.date.issued2009-
dc.identifier.isbn9783642047602-
dc.identifier.doi10.1007/978-3-642-04761-9_14-
dc.identifier.urihttp://hdl.handle.net/10149/110685-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries5799en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectautomated verificationen
dc.subjectcompile timeen
dc.subjectmemory footprinten
dc.subjectmemory operationsen
dc.subjectmemory usageen
dc.subjectnovel solutionsen
dc.subjectsoftware failureen
dc.titleMemory usage verification using hip/sleeken
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham Universityen
dc.title.bookProceedings of the 7th international symposium on automated technology for verification and analysisen
dc.identifier.conference7th international symposium on automated technology for verification and analysis, Macao, China, October 14 - 16, 2009en
ref.citationcount0 [Scopus, 03/09/2010]en
or.citation.harvardHe, G. et. al. (2009) 'Memory usage verification using hip/sleek', 7th international symposium on automated technology for verification and analysis, Macao, China, October 14 - 16, 2009, in Liu, Z. and Ravn, A. P. (eds) Proceedings. Springer-Verlag, pp.166-181.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.