This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm, which takes both the write effects and the creational effects of a method into account. The new rule contributes in various ways to the modularity of the specification. We also argue that our rule of adaptation is the missing link between Hoare logics and proof outlines for object-oriented programs. © Springer-Verlag 2004.
CITATION STYLE
Pierik, G., & De Boer, P. S. (2004). Modularity and the rule of adaptation. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 394–408. https://doi.org/10.1007/978-3-540-27815-3_31
Mendeley helps you to discover research relevant for your work.