Verifying pointer safety for programs with unknown calls

Hdl Handle:
http://hdl.handle.net/10149/110823
Title:
Verifying pointer safety for programs with unknown calls
Authors:
Luo, C. (Chenguang); Craciun, F. (Florin); Qin, S. (Shengchao); He, G. (Guanhua); Chin, W-N. (Wei-Ngan)
Affiliation:
Durham University
Citation:
Luo, C. et. al. (2010) 'Verifying pointer safety for programs with unknown calls', Journal of Symbolic Computation
Publisher:
Elsevier
Journal:
Journal of Symbolic Computation
Issue Date:
2010
URI:
http://hdl.handle.net/10149/110823
DOI:
10.1016/j.jsc.2010.06.003
Additional Links:
http://linkinghub.elsevier.com/retrieve/pii/S0747717110000830
Type:
Article
Language:
en
Keywords:
abduction; inference; separation logic; verification
ISSN:
0747-7171
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.authorLuo, C. (Chenguang)en
dc.contributor.authorCraciun, F. (Florin)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.date.accessioned2010-09-08T15:17:29Z-
dc.date.available2010-09-08T15:17:29Z-
dc.date.issued2010-
dc.identifier.citationJournal of Symbolic Computationen
dc.identifier.issn0747-7171-
dc.identifier.doi10.1016/j.jsc.2010.06.003-
dc.identifier.urihttp://hdl.handle.net/10149/110823-
dc.language.isoenen
dc.publisherElsevieren
dc.relation.urlhttp://linkinghub.elsevier.com/retrieve/pii/S0747717110000830en
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.subjectabductionen
dc.subjectinferenceen
dc.subjectseparation logicen
dc.subjectverificationen
dc.titleVerifying pointer safety for programs with unknown callsen
dc.typeArticleen
dc.contributor.departmentDurham Universityen
dc.identifier.journalJournal of Symbolic Computationen
ref.citationcount0 [Scopus, 08/09/2010]en
or.citation.harvardLuo, C. et. al. (2010) 'Verifying pointer safety for programs with unknown calls', Journal of Symbolic Computation-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.