%0 Journal Article %1 jifeng_06_rcos %A Jifeng, He %A Li, Xiaoshan %A Liu, Zhiming %B Formal Methods for Components and Objects, Formal Methods for Components and Objects %D 2006 %J Theoretical Computer Science %K _hardcopy 2006 refinement object %N 1-2 %P 109--142 %R 10.1016/j.tcs.2006.07.034 %T rCOS: A refinement calculus of object systems %U http://dx.doi.org/10.1016/j.tcs.2006.07.034 %V 365 %X 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).

@article{jifeng_06_rcos, abstract = {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).}, added-at = {2009-02-11T20:57:31.000+0100}, author = {Jifeng, He and Li, Xiaoshan and Liu, Zhiming}, biburl = {https://www.bibsonomy.org/bibtex/290ce47632f0d58e4d98b5851b5807c9f/leonardo}, booktitle = {Formal Methods for Components and Objects, Formal Methods for Components and Objects}, citeulike-article-id = {1466208}, doi = {10.1016/j.tcs.2006.07.034}, interhash = {1e72a5c97a707adecdb35b045dc57ee8}, intrahash = {90ce47632f0d58e4d98b5851b5807c9f}, journal = {Theoretical Computer Science}, keywords = {_hardcopy 2006 refinement object}, month = {November}, number = {1-2}, pages = {109--142}, posted-at = {2007-07-19 01:30:28}, priority = {5}, timestamp = {2009-02-11T20:57:31.000+0100}, title = {rCOS: A refinement calculus of object systems}, url = {http://dx.doi.org/10.1016/j.tcs.2006.07.034}, volume = 365, year = 2006 }