Reasoning About Class Behavior

@inproceedings{Koutavas2006ReasoningAC,
  title={Reasoning About Class Behavior},
  author={Vasileios Koutavas and Mitchell Wand},
  year={2006}
}
We present a sound and complete method for reasoning about contextual equivalence between different implementations of classes in an imperative subset of Java. To the extent of our knowledge this is the first such method for a language with unrestricted inheritance, where the context can arbitrarily extend classes to distinguish otherwise equivalent implementations. Similar reasoning techniques for class-based languages [1, 12] don’t consider inheritance at all, or forbid the context from… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 18 CITATIONS

State-dependent representation independence

VIEW 13 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Game semantics for interface

middleweight Java. Murawski
  • 2018
VIEW 1 EXCERPT
CITES BACKGROUND

From Applicative to Environmental Bisimulation

  • Electr. Notes Theor. Comput. Sci.
  • 2011
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.