rCOS: a refinement calculus of object systems
From MaRDI portal
Publication:854169
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
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
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
