Verifying Heap-manipulating programs with unknown procedure calls

Hdl Handle:
http://hdl.handle.net/10149/117185
Title:
Verifying Heap-manipulating programs with unknown procedure calls
Book Title:
Formal Methods and Software Engineering
Authors:
Qin, S. (Shengchao); Luo, C. (Chenguang); He, G. (Guanhua); Craciun, F. (Florin); Chin, W-N. (Wei-Ngan)
Editors:
Dong, J. S. (Jin Song); Zhu, H. (Huibiao)
Affiliation:
Teesside University
Citation:
Qin, S. et. al. (2010) 'Verifying Heap-manipulating programs with unknown procedure calls', in Dong, J. S. and Zhu, H. (eds) Formal Methods and Software Engineering, Lecture notes in computer science, 6447. Berlin: Springer-Verlag, pp171-187.
Publisher:
Springer-Verlag
Conference:
12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010
Issue Date:
2010
URI:
http://hdl.handle.net/10149/117185
DOI:
10.1007/978-3-642-16901-4_13
Additional Links:
http://www.springerlink.com/content/l68445w2gpxk2737/
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
verification of programs; heap-manipulating programs; unknown procedures; full functional correctness
Series/Report no.:
Lecture notes in computer science; 6447
ISBN:
9783642169007
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/12/2010]
Citation Count:
0 [Web of Science and Scopus, 06/12/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.authorCraciun, F. (Florin)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorDong, J. S. (Jin Song)en
dc.contributor.editorZhu, H. (Huibiao)en
dc.date.accessioned2010-12-06T09:48:32Z-
dc.date.available2010-12-06T09:48:32Z-
dc.date.issued2010-
dc.identifier.isbn9783642169007-
dc.identifier.doi10.1007/978-3-642-16901-4_13-
dc.identifier.urihttp://hdl.handle.net/10149/117185-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries6447en
dc.relation.urlhttp://www.springerlink.com/content/l68445w2gpxk2737/en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/12/2010]en
dc.subjectverification of programsen
dc.subjectheap-manipulating programsen
dc.subjectunknown proceduresen
dc.subjectfull functional correctnessen
dc.titleVerifying Heap-manipulating programs with unknown procedure callsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentTeesside Universityen
dc.title.bookFormal Methods and Software Engineeringen
dc.identifier.conference12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010en
ref.citationcount0 [Web of Science and Scopus, 06/12/2010]en
or.citation.harvardQin, S. et. al. (2010) 'Verifying Heap-manipulating programs with unknown procedure calls', in Dong, J. S. and Zhu, H. (eds) Formal Methods and Software Engineering, Lecture notes in computer science, 6447. Berlin: Springer-Verlag, pp171-187.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.