rCOS: a refinement calculus of object systems

DOI10.1016/j.tcs.2006.07.034zbMath1118.68049OpenAlexW1998455310MaRDI QIDQ854169

Jifeng He, Xiaoshan Li, Zhi-Ming Liu

Publication date: 7 December 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.034

zbMATH Keywords

semanticsrefinementobject orientationUTP

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (19)

Higher-Order UTP for a Theory of Methods ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Laws of Programming for References ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ A graph-based generic type system for object-oriented programs ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Refactoring and representation independence for class hierarchies ⋮ Connectors as designs: modeling, refinement and test case generation ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ Unifying theories of reactive design contracts ⋮ Robustness testing for software components ⋮ Refinement and verification in component-based model-driven design ⋮ Graph transformations for object-oriented refinement ⋮ WP Semantics and Behavioral Subtyping ⋮ Modeling and Specification of Real-Time Interfaces with UTP ⋮ Graph-Based Object-Oriented Hoare Logic ⋮ Domain-specific Semantics and Data Refinement of Object Models

Uses Software

• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about dynamically evolving process structures
• Class refinement as semantics of correct object substitutability
• Compositional Reasoning for Pointer Structures
• Laws of programming
• Hoare logic for Java in Isabelle/HOL
• Refinement Calculus
• π-Calculus semantics of object-oriented programming languages
• Theoretical Aspects of Computing – ICTAC 2005
• Programming Languages and Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Theoretical Aspects of Computing - ICTAC 2004
• An operational semantics for TOOPLE: A statically-typed object-oriented programming language
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: rCOS: a refinement calculus of object systems