Verifying safety policies with size properties and alias controls

Proceedings - 27th International Conference on Software Engineering, ICSE05

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., Khoo, S.-C., Qin, S., Popeea, C., Nguyen, H.H.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Alias control Dependent types Object-based programs Safety verification Size properties
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41067
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41067
record_format	dspace
spelling	sg-nus-scholar.10635-410672015-02-25T02:59:57Z Verifying safety policies with size properties and alias controls Chin, W.-N. Khoo, S.-C. Qin, S. Popeea, C. Nguyen, H.H. COMPUTER SCIENCE Alias control Dependent types Object-based programs Safety verification Size properties Proceedings - 27th International Conference on Software Engineering, ICSE05 186-195 2013-07-04T08:18:51Z 2013-07-04T08:18:51Z 2005 Conference Paper Chin, W.-N.,Khoo, S.-C.,Qin, S.,Popeea, C.,Nguyen, H.H. (2005). Verifying safety policies with size properties and alias controls. Proceedings - 27th International Conference on Software Engineering, ICSE05 : 186-195. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/41067 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Alias control Dependent types Object-based programs Safety verification Size properties
spellingShingle	Alias control Dependent types Object-based programs Safety verification Size properties Chin, W.-N. Khoo, S.-C. Qin, S. Popeea, C. Nguyen, H.H. Verifying safety policies with size properties and alias controls
description	Proceedings - 27th International Conference on Software Engineering, ICSE05
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. Khoo, S.-C. Qin, S. Popeea, C. Nguyen, H.H.
format	Conference or Workshop Item
author	Chin, W.-N. Khoo, S.-C. Qin, S. Popeea, C. Nguyen, H.H.
author_sort	Chin, W.-N.
title	Verifying safety policies with size properties and alias controls
title_short	Verifying safety policies with size properties and alias controls
title_full	Verifying safety policies with size properties and alias controls
title_fullStr	Verifying safety policies with size properties and alias controls
title_full_unstemmed	Verifying safety policies with size properties and alias controls
title_sort	verifying safety policies with size properties and alias controls
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41067
_version_	1681082376314159104

Verifying safety policies with size properties and alias controls

Similar Items