Automated verification of shape, size and bag properties

Hdl Handle:
http://hdl.handle.net/10149/110717
Title:
Automated verification of shape, size and bag properties
Book Title:
Proceedings IEEE international conference on engineering complex computer systems
Authors:
Chin, W-N. (Wei-Ngan); David, C. (Cristina); Nguyen, H. H. (Huu Hai); Qin, S. (Shengchao)
Editors:
Werner, B. (Bob)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Chin, W-N. et. al. (2007) 'Automated verification of shape, size and bag properties', 12th IEEE international conference on engineering complex computer systems, ICECCS 2007, Auckland, July 11-14 July 2007, in Werner, B. (ed) Proceedings. California: IEEE, pp.307-317.
Publisher:
IEEE
Conference:
12th IEEE international conference on engineering complex computer systems, ICECCS 2007, Auckland, July 11-14 July 2007
Issue Date:
2007
URI:
http://hdl.handle.net/10149/110717
DOI:
10.1109/ICECCS.2007.17
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
separation logic; heap-manipulating programs; data structures; size properties; bag properties
ISBN:
9780769528953
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.editorWerner, B. (Bob)-
dc.date.accessioned2010-09-06T09:10:34Z-
dc.date.available2010-09-06T09:10:34Z-
dc.date.issued2007-
dc.identifier.isbn9780769528953-
dc.identifier.doi10.1109/ICECCS.2007.17-
dc.identifier.urihttp://hdl.handle.net/10149/110717-
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.subjectseparation logicen
dc.subjectheap-manipulating programsen
dc.subjectdata structuresen
dc.subjectsize propertiesen
dc.subjectbag propertiesen
dc.titleAutomated verification of shape, size and bag propertiesen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.bookProceedings IEEE international conference on engineering complex computer systemsen
dc.identifier.conference12th IEEE international conference on engineering complex computer systems, ICECCS 2007, Auckland, July 11-14 July 2007en
ref.citationcount0 [Scopus, 06/09/2010]en
or.citation.harvardChin, W-N. et. al. (2007) 'Automated verification of shape, size and bag properties', 12th IEEE international conference on engineering complex computer systems, ICECCS 2007, Auckland, July 11-14 July 2007, in Werner, B. (ed) Proceedings. California: IEEE, pp.307-317.-
prism.startingPage307-
prism.endingPage317-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.