Enhancing modular OO verification with separation logic

10.1145/1328438.1328452

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	automated verification enhanced subsumption lossless casting separation logic static and dynamic specifications
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40103
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40103
record_format	dspace
spelling	sg-nus-scholar.10635-401032023-10-27T07:28:29Z 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 10.1145/1328438.1328452 Conference Record of the Annual ACM Symposium on Principles of Programming Languages 87-99 CRLAD 2013-07-04T07:56:43Z 2013-07-04T07:56:43Z 2008 Conference Paper Chin, W.-N., David, C., Nguyen, H.H., Qin, S. (2008). Enhancing modular OO verification with separation logic. Conference Record of the Annual ACM Symposium on Principles of Programming Languages : 87-99. ScholarBank@NUS Repository. https://doi.org/10.1145/1328438.1328452 9781595936899 07308566 http://scholarbank.nus.edu.sg/handle/10635/40103 000265876500009 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	10.1145/1328438.1328452
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. David, C. Nguyen, H.H. Qin, S.
format	Conference or Workshop Item
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/40103
_version_	1781411079273840640

Enhancing modular OO verification with separation logic

Similar Items