Verifying safety policies with size properties and alias controls

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-410672024-11-12T18:27:29Z 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
continent Asia
country Singapore
Singapore
content_provider NUS Library
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_ 1821182191745368064

Similar Items