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 co ntextual equivalence between different implementations of classes in an imperative subset of Java. To the extent of our knowledge t his is the first such method for a language with unrestricted inheri tance, where the context can arbitrarily extend classes to disting uish presumably equivalent implementations. Similar reasoning te chniques for class-based languages [1, 12] don’t consider inheritan ce at all, or forbid the context… CONTINUE READING

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.

Similar Papers

Loading similar papers…