Automated verification of shape and size properties via separation logic

Hdl Handle:
http://hdl.handle.net/10149/110723
Title:
Automated verification of shape and size properties via separation logic
Book Title:
Verification, model checking, and abstract interpretation
Authors:
Nguyen, H. H. (Huu Hai); David, C. (Cristina); Qin, S. (Shengchao); Chin, W-N. (Wei-Ngan)
Editors:
Cook, B. (Byron); Podelski, A. (Andreas)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Nguyen, H. H. et. al. (2007) 'Automated verification of shape and size properties via separation logic', 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007, in Cook, B. and Podelski, A. (eds) Verification, model checking, and abstract interpretation, Lecture notes in computer science, Vol. 4349. Heidelberg: Springer-Verlag, pp.251-266.
Publisher:
Springer-Verlag
Conference:
8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007
Issue Date:
2007
URI:
http://hdl.handle.net/10149/110723
DOI:
10.1007/978-3-540-69738-1_18
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
automated verification; pointer-based programs; shape predicates; data structures
Series/Report no.:
Lecture notes in computer science; 4349
ISBN:
9783540697350
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:
19 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorNguyen, H. H. (Huu Hai)en
dc.contributor.authorDavid, C. (Cristina)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorCook, B. (Byron)en
dc.contributor.editorPodelski, A. (Andreas)en
dc.date.accessioned2010-09-06T11:10:47Z-
dc.date.available2010-09-06T11:10:47Z-
dc.date.issued2007-
dc.identifier.isbn9783540697350-
dc.identifier.doi10.1007/978-3-540-69738-1_18-
dc.identifier.urihttp://hdl.handle.net/10149/110723-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries4349en
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.subjectautomated verificationen
dc.subjectpointer-based programsen
dc.subjectshape predicatesen
dc.subjectdata structuresen
dc.titleAutomated verification of shape and size properties via separation logicen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.bookVerification, model checking, and abstract interpretationen
dc.identifier.conference8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007en
ref.citationcount19 [Scopus, 06/09/2010]en
or.citation.harvardNguyen, H. H. et. al. (2007) 'Automated verification of shape and size properties via separation logic', 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007, in Cook, B. and Podelski, A. (eds) Verification, model checking, and abstract interpretation, Lecture notes in computer science, Vol. 4349. Heidelberg: Springer-Verlag, pp.251-266.-
prism.startingPage251-
prism.endingPage266-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.