Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Hdl Handle:
http://hdl.handle.net/10149/110852
Title:
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
Authors:
Chin, W-N. (Wei-Ngan); David, C. (Cristina); Nguyen, H. H. (Huu Hai); Qin, S. (Shengchao)
Affiliation:
University of Teesside. School of Computing.
Citation:
Chin, W-N. et. al. (2012) 'Automated verification of shape, size and bag properties via user-defined predicates in separation logic', Science of Computer Programming, 77 (9), pp. 1006-1036.
Publisher:
Elsevier
Journal:
Science of Computer Programming
Issue Date:
Aug-2012
URI:
http://hdl.handle.net/10149/110852
DOI:
10.1016/j.scico.2010.07.004
Additional Links:
http://linkinghub.elsevier.com/retrieve/pii/S0167642310001516
Type:
Article
Language:
en
Keywords:
automated verification; entailment checking; inductive shape predicates with size and bag properties; separation logic
ISSN:
0167-6423
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 08/09/2010]
Citation Count:
0 [Scopus, 08/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.date.accessioned2010-09-08T15:08:21Z-
dc.date.available2010-09-08T15:08:21Z-
dc.date.issued2012-08-
dc.identifier.citationScience of Computer Programming; 77 (9):1006-1036.en
dc.identifier.issn0167-6423-
dc.identifier.doi10.1016/j.scico.2010.07.004-
dc.identifier.urihttp://hdl.handle.net/10149/110852-
dc.language.isoenen
dc.publisherElsevieren
dc.relation.urlhttp://linkinghub.elsevier.com/retrieve/pii/S0167642310001516en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 08/09/2010]en
dc.subjectautomated verificationen
dc.subjectentailment checkingen
dc.subjectinductive shape predicates with size and bag propertiesen
dc.subjectseparation logicen
dc.titleAutomated verification of shape, size and bag properties via user-defined predicates in separation logicen
dc.typeArticleen
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.identifier.journalScience of Computer Programmingen
ref.citationcount0 [Scopus, 08/09/2010]en
or.citation.harvardChin, W-N. et. al. (2012) 'Automated verification of shape, size and bag properties via user-defined predicates in separation logic', Science of Computer Programming, 77 (9), pp. 1006-1036.en_GB
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.