QQ客服 官方微博 反馈留言

	A generic model for confinement and its application
	Wang, Shuling ; Qiu, Zongyan
	2008
英文摘要	Confinement of objects is crucial to protect sensitive object references. However static confinement schemes proposed so far have quite rigorous syntactic restrictions, and also, no similarity in concepts makes assessing of them a difficulty. In this paper we present a generic framework for reasoning about confinement based on three parts: program states, partition for heaps and the confinement constraints. Particularly, the partition is made according to the system's requirement, whose flexibility leads to the generality of the model. A range of confinement schemes can be characterized in terms of their underlying partition for the heap in our model. As an illustration, we have encoded both confined types and ownership types, and proved the soundness of their type systems in our model that well typed programs are well confined tinder our formal definition.; Computer Science, Software Engineering; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 0
语种	英语
出处	EI ; SCI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/158156]
专题	数学科学学院
推荐引用方式 GB/T 7714	Wang, Shuling,Qiu, Zongyan. A generic model for confinement and its application. 2008-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。