Sciweavers

ICECCS
2006
IEEE

A Type System for the Relational Calculus of Object Systems

14 years 4 months ago
A Type System for the Relational Calculus of Object Systems
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.
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where ICECCS
Authors Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
Comments (0)