Prespecification in data refinement
Information Processing Letters
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
An inconsistency in procedures, parameters, and substitution in the refinement calculus
Science of Computer Programming
Predicate transformer semantics of a higher-order imperative language with record subtyping
Science of Computer Programming
Formal Object-Oriented Development
Formal Object-Oriented Development
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Recursive Object Types in a Logic of Object-Oriented Programs
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
A Logic of Object-Oriented Programs
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Class Refinement and Interface Refinement in Object-Oriented Programs
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
From CSP-OZ to Java with Processes
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Integrating Theories and Techniques for Program Modelling, Design and Verification
Verified Software: Theories, Tools, Experiments
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
| Hi-index | 0.00 |
We define a predicate-transformer semantics for an object-oriented language that includes specification constructs from refinement calculi. The language includes recursive classes, visibility control, dynamic binding, and recursive methods. Using the semantics, we formulate notions of refinement. Such results are a first step towards a refinement calculus.