QQ客服 官方微博 反馈留言

	A type system for the relational calculus of object systems
	Zhao, Liang ; Zhao, Xiangpeng ; Long, Quan ; Qiu, Zongyan
	2006
关键词	type system rCOS object-orientation operational semantics
英文摘要	Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of object-oriented systems based on Unifying Theories of Programming (UTP), has been proven a promising one in the sense of its applications to incremental software constructions, the formal use of UML, etc. However, equipped with a semantics reasoning on both static and dynamic properties, rCOS is not designed for static checking. We believe introducing static checking will extend the power of rCOS. In this paper, we develop a type system for rCOS and prove some type safety theorems. To make the theoretical results of this paper convincible and easy to be understood, we follow the traditional approaches of type systems construction. That is, we use an operational semantics as the basic explanation of rCOS language in spite of the fact that rCOS is originally developed in a denotational framework.; Computer Science, Hardware & Architecture; Computer Science, Software Engineering; EI; CPCI-S(ISTP); 1
语种	英语
出处	SCI ; EI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/406686]
专题	数学科学学院
推荐引用方式 GB/T 7714	Zhao, Liang,Zhao, Xiangpeng,Long, Quan,et al. A type system for the relational calculus of object systems. 2006-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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