A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
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
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)
Mechanised Refinement of Procedures
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Towards a Layered Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |