Proc. of the European symposium on programming on ESOP 86
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)
Joining specification statements
Theoretical Computer Science
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
The Science of Programming
A Theory of Objects
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
On the Refinement Calculus
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
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 Study of The Fragile Base Class Problem
ECCOP '98 Proceedings of the 12th 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
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
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
Modular Reasoning in an Object-Oriented Refinement Calculus
Proceedings of the Second International Conference on Mathematics of Program Construction
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Class Refinement as Semantics of Correct Subclassing
Class Refinement as Semantics of Correct Subclassing
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
Refinement Algebra for Formal Bytecode Generation
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Using CafeOBJ to Mechanise Refactoring Proofs and Application
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular verification of higher-order methods with mandatory calls specified by model programs
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
An Abstract Equivalence Notion for Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Towards a Layered Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Extracting and evolving code in product lines with aspect-oriented programming
Transactions on aspect-oriented software development IV
Refactoring and representation independence for class hierarchies: extended abstract
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
A graph-based implementation for mechanized refinement calculus of OO programs
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
WP semantics and behavioral subtyping
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Computing preconditions and postconditions of while loops
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Refactoring and representation independence for class hierarchies
Theoretical Computer Science
A framework for automated and certified refinement steps
Innovations in Systems and Software Engineering
| 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 toward a refinement calculus.