rCOS: A refinement calculus of object systems
Jifeng H.; Li X.; Liu Z.
Source PublicationTheoretical Computer Science

This article presents a mathematical characterization of object-oriented concepts by defining an observation-oriented semantics for a relational object-based language with a rich variety of features including subtypes, visibility, inheritance, type casting, dynamic binding and polymorphism. The language can be used to specify object-oriented designs as well as programs. We present a calculus that supports both structural and behavioural refinement of object-oriented designs. The design calculus is based on the predicate logic in Hoare and He's Unifying Theories of Programming (UTP). © 2006 Elsevier B.V. All rights reserved.

KeywordObject Orientation Refinement Semantics Utp
URLView the original
Indexed BySCIE
WOS Research AreaComputer Science
WOS SubjectComputer Science, Theory & Methods
WOS IDWOS:000242312400006
The Source to ArticleScopus
Fulltext Access
Citation statistics
Cited Times [WOS]:50   [WOS Record]     [Related Records in WOS]
Document TypeJournal article
Recommended Citation
GB/T 7714
Jifeng H.,Li X.,Liu Z.. rCOS: A refinement calculus of object systems[J]. Theoretical Computer Science,2006,365(2018-01-02):109.
APA Jifeng H.,Li X.,&Liu Z..(2006).rCOS: A refinement calculus of object systems.Theoretical Computer Science,365(2018-01-02),109.
MLA Jifeng H.,et al."rCOS: A refinement calculus of object systems".Theoretical Computer Science 365.2018-01-02(2006):109.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Jifeng H.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Jifeng H.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Jifeng H.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.