A type system for resource protocol verification and its correctness proof

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Saved in:

Bibliographic Details
Main Authors:	Popeea, C., Chin, W.-N.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Correctness Proof Dependent Type System Path-sensitive Analysis Protocol Verification Resource Specification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40488
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40488
record_format	dspace
spelling	sg-nus-scholar.10635-404882015-01-08T06:21:21Z A type system for resource protocol verification and its correctness proof Popeea, C. Chin, W.-N. COMPUTER SCIENCE Correctness Proof Dependent Type System Path-sensitive Analysis Protocol Verification Resource Specification Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 135-146 2013-07-04T08:05:28Z 2013-07-04T08:05:28Z 2004 Conference Paper Popeea, C.,Chin, W.-N. (2004). A type system for resource protocol verification and its correctness proof. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 135-146. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/40488 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Correctness Proof Dependent Type System Path-sensitive Analysis Protocol Verification Resource Specification
spellingShingle	Correctness Proof Dependent Type System Path-sensitive Analysis Protocol Verification Resource Specification Popeea, C. Chin, W.-N. A type system for resource protocol verification and its correctness proof
description	Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Popeea, C. Chin, W.-N.
format	Conference or Workshop Item
author	Popeea, C. Chin, W.-N.
author_sort	Popeea, C.
title	A type system for resource protocol verification and its correctness proof
title_short	A type system for resource protocol verification and its correctness proof
title_full	A type system for resource protocol verification and its correctness proof
title_fullStr	A type system for resource protocol verification and its correctness proof
title_full_unstemmed	A type system for resource protocol verification and its correctness proof
title_sort	type system for resource protocol verification and its correctness proof
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40488
_version_	1681082276622893056

A type system for resource protocol verification and its correctness proof

Similar Items