Enhancing modular OO verification with separation logic

ACM SIGPLAN Notices

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Automated Verification Enhanced Subsumption Lossless Casting Separation Logic Static and Dynamic Specifications
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39702
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39702
record_format	dspace
spelling	sg-nus-scholar.10635-397022024-11-12T18:27:59Z Enhancing modular OO verification with separation logic Chin, W.-N. David, C. Nguyen, H.H. Qin, S. COMPUTER SCIENCE Automated Verification Enhanced Subsumption Lossless Casting Separation Logic Static and Dynamic Specifications ACM SIGPLAN Notices 43 1 87-99 2013-07-04T07:47:37Z 2013-07-04T07:47:37Z 2008 Article Chin, W.-N.,David, C.,Nguyen, H.H.,Qin, S. (2008). Enhancing modular OO verification with separation logic. ACM SIGPLAN Notices 43 (1) : 87-99. ScholarBank@NUS Repository. 15232867 http://scholarbank.nus.edu.sg/handle/10635/39702 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automated Verification Enhanced Subsumption Lossless Casting Separation Logic Static and Dynamic Specifications
spellingShingle	Automated Verification Enhanced Subsumption Lossless Casting Separation Logic Static and Dynamic Specifications Chin, W.-N. David, C. Nguyen, H.H. Qin, S. Enhancing modular OO verification with separation logic
description	ACM SIGPLAN Notices
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
format	Article
author	Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
author_sort	Chin, W.-N.
title	Enhancing modular OO verification with separation logic
title_short	Enhancing modular OO verification with separation logic
title_full	Enhancing modular OO verification with separation logic
title_fullStr	Enhancing modular OO verification with separation logic
title_full_unstemmed	Enhancing modular OO verification with separation logic
title_sort	enhancing modular oo verification with separation logic
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39702
_version_	1821206502349733888

Enhancing modular OO verification with separation logic

Similar Items