Multiple pre/post specifications for heap-manipulating methods

Hdl Handle:
http://hdl.handle.net/10149/110714
Title:
Multiple pre/post specifications for heap-manipulating methods
Book Title:
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Authors:
Chin, W-N. (Wei-Ngan); David, C. (Cristina); Nguyen, H. H. (Huu Hai); Qin, S. (Shengchao)
Editors:
Cukic, B. (Bojan); Dong, J. (Jing)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Chin, W-N. et. al. (2007) 'Multiple pre/post specifications for heap-manipulating methods', 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, Texas, November 14-16, in Cukic, B. and Dong, J. (eds) Proceedings. California: IEEE, pp.357-364.
Publisher:
IEEE
Conference:
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, Texas, November 14-16
Issue Date:
2007
URI:
http://hdl.handle.net/10149/110714
DOI:
10.1109/HASE.2007.56
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
automated verification; high assurance software; pre/post specifications; heap-manipulating; separation logic
ISSN:
1530-2059
ISBN:
9780769530437
Rights:
Author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ Accessed 06/09/2010]
Citation Count:
0 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.authorDavid, C. (Cristina)en
dc.contributor.authorNguyen, H. H. (Huu Hai)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.editorCukic, B. (Bojan)en
dc.contributor.editorDong, J. (Jing)en
dc.date.accessioned2010-09-06T08:19:01Z-
dc.date.available2010-09-06T08:19:01Z-
dc.date.issued2007-
dc.identifier.isbn9780769530437-
dc.identifier.issn1530-2059-
dc.identifier.doi10.1109/HASE.2007.56-
dc.identifier.urihttp://hdl.handle.net/10149/110714-
dc.language.isoenen
dc.publisherIEEEen
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ Accessed 06/09/2010]en
dc.subjectautomated verificationen
dc.subjecthigh assurance softwareen
dc.subjectpre/post specificationsen
dc.subjectheap-manipulatingen
dc.subjectseparation logicen
dc.titleMultiple pre/post specifications for heap-manipulating methodsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.book10th IEEE High Assurance Systems Engineering Symposium (HASE'07)en
dc.identifier.conference10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, Texas, November 14-16en
ref.citationcount0 [Scopus, 06/09/2010]en
or.citation.harvardChin, W-N. et. al. (2007) 'Multiple pre/post specifications for heap-manipulating methods', 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, Texas, November 14-16, in Cukic, B. and Dong, J. (eds) Proceedings. California: IEEE, pp.357-364.-
prism.startingPage357-
prism.endingPage364-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.