Separation logic for multiple inheritance

Hdl Handle:
http://hdl.handle.net/10149/110690
Title:
Separation logic for multiple inheritance
Authors:
Luo, C. (Chenguang); Qin, S. (Shengchao)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Luo, C. and Qin, S. (2008) 'Separation logic for multiple inheritance', Electronic Notes in Theoretical Computer Science, 212(C), pp.27-40.
Publisher:
Elsevier
Journal:
Electronic Notes in Theoretical Computer Science
Issue Date:
30-Apr-2008
URI:
http://hdl.handle.net/10149/110690
DOI:
10.1016/j.entcs.2008.04.051
Additional Links:
http://linkinghub.elsevier.com/retrieve/pii/S1571066108002661
Type:
Article
Language:
en
Keywords:
multiple inheritance; separation logic; verificiation
ISSN:
15710661
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
1 [Scopus, 03/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorQin, S. (Shengchao)en
dc.date.accessioned2010-09-03T15:27:29Z-
dc.date.available2010-09-03T15:27:29Z-
dc.date.issued2008-04-30-
dc.identifier.citationElectronic Notes in Theoretical Computer Science; 212(C):27-40en
dc.identifier.issn15710661-
dc.identifier.doi10.1016/j.entcs.2008.04.051-
dc.identifier.urihttp://hdl.handle.net/10149/110690-
dc.language.isoenen
dc.publisherElsevieren
dc.relation.urlhttp://linkinghub.elsevier.com/retrieve/pii/S1571066108002661en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectmultiple inheritanceen
dc.subjectseparation logicen
dc.subjectverificiationen
dc.titleSeparation logic for multiple inheritanceen
dc.typeArticleen
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.identifier.journalElectronic Notes in Theoretical Computer Scienceen
ref.citationcount1 [Scopus, 03/09/2010]en
or.citation.harvardLuo, C. and Qin, S. (2008) 'Separation logic for multiple inheritance', Electronic Notes in Theoretical Computer Science, 212(C), pp.27-40.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.