Enhancing modular OO verification with separation logic

Hdl Handle:
http://hdl.handle.net/10149/110713
Title:
Enhancing modular OO verification with separation logic
Book Title:
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages
Authors:
Chin, W-N. (Wei-Ngan); David, C. (Cristina); Nguyen, H. H. (Huu Hai); Qin, S. (Shengchao)
Editors:
Necula, G. (George); Wadler, P. (Philip)
Affiliation:
Durham University. Department of Computer Science.
Citation:
Chin, W-N. et. al. (2008) 'Enhancing modular OO verification with separation logic', 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, San Francisco, California, January 7 - 12, 2008, in Necula, G. and Wadler, P. (eds) Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages. New York: ACM, pp.87-99.
Publisher:
ACM
Conference:
35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, San Francisco, California, January 7 - 12, 2008
Issue Date:
2008
URI:
http://hdl.handle.net/10149/110713
DOI:
10.1145/1328438.1328452
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
automated verification; enhanced subsumption; lossless casting; separation logic; static and dynamic specifications
ISSN:
1523-2867
ISBN:
9781595936899
Rights:
ACM allows authors' version of their own ACM-copyrighted work on their personal server or on servers belonging to their employers. For full details see http://www.acm.org/publications/policies/RightsResponsibilities [Accessed 06/09/2010]
Citation Count:
5 [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.editorNecula, G. (George)en
dc.contributor.editorWadler, P. (Philip)en
dc.date.accessioned2010-09-06T07:50:30Z-
dc.date.available2010-09-06T07:50:30Z-
dc.date.issued2008-
dc.identifier.isbn9781595936899-
dc.identifier.issn1523-2867-
dc.identifier.doi10.1145/1328438.1328452-
dc.identifier.urihttp://hdl.handle.net/10149/110713-
dc.language.isoenen
dc.publisherACMen
dc.rightsACM allows authors' version of their own ACM-copyrighted work on their personal server or on servers belonging to their employers. For full details see http://www.acm.org/publications/policies/RightsResponsibilities [Accessed 06/09/2010]en
dc.subjectautomated verificationen
dc.subjectenhanced subsumptionen
dc.subjectlossless castingen
dc.subjectseparation logicen
dc.subjectstatic and dynamic specificationsen
dc.titleEnhancing modular OO verification with separation logicen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham University. Department of Computer Science.en
dc.title.bookProceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languagesen
dc.identifier.conference35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, San Francisco, California, January 7 - 12, 2008en
ref.citationcount5 [Scopus, 06/09/2010]en
or.citation.harvardChin, W-N. et. al. (2008) 'Enhancing modular OO verification with separation logic', 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, San Francisco, California, January 7 - 12, 2008, in Necula, G. and Wadler, P. (eds) Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages. New York: ACM, pp.87-99.-
prism.startingPage87-
prism.endingPage99-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.