Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
A practical theory of programming
A practical theory of programming
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The Object-Z specification language
The Object-Z specification language
Formal Object-Oriented Development
Formal Object-Oriented Development
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Towards a Refinement Calculus for Object Systems
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
OOZE: An Object Oriented Z Environment
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
A Logic of Object-Oriented Programs
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Modular Object-oriented Z Specifications
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Class Refinement as Semantics of Correct Object Substitutability
Class Refinement as Semantics of Correct Object Substitutability
Formal Semantics of Inheritance and Object Substitutability
Formal Semantics of Inheritance and Object Substitutability
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Dynamic frames: support for framing, dependencies and sharing without restrictions
FM'06 Proceedings of the 14th international conference on Formal Methods
| Hi-index | 0.00 |
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primitive and the overall system more general. Quite opposite to decoupling, the tradition in object oriented refinement theories is to combine all features, such as specification, usage constraints, encapsulation and inheritance into a single formal construct, the class. We propose a decoupled formalization of object orientation, in which all those features are introduced independently from the class construct and from each other. Even though each of the features is significantly simpler than its standard counterparts, the overall system is more general: standard class-based object orientation is shown to be a special case of our system.