Reasoning about Backward Compatibility of Class Libraries

@inproceedings{Welsch2013ReasoningAB,
  title={Reasoning about Backward Compatibility of Class Libraries},
  author={Yannick Welsch},
  year={2013}
}
Backward compatibility of class libraries ensures that an old implementation of a library can safely be replaced by a new implementation without breaking existing clients. Formal reasoning about backward compatibility requires an adequate semantic model to compare the behavior of two library implementations. In the object-oriented setting with inheritance and callbacks, finding such models is difficult as the interface between library implementations and clients are complex. Furthermore… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 116 REFERENCES

A Backward Compatibility Verifier for Java Libraries

◦ Yannick Welsch, Mathias Weber, Peter Zeller, Arnd Poetzsch-Heffter
  • Internal report, available at https://softech.informatik.uni-kl.de/twiki/pub /Homepage/YannickWelsch/bcverifier.pdf
  • 2013

PoetzschHeffter. “A Backward Compatibility Verifier for Java Libraries

Yannick Welsch, Mathias Weber, Peter Zeller, Arnd
  • Internal report, available at https://softech.informatik.u ni-kl.de/twiki/pub/Homepage/YannickWelsch/bcverifi er.pdf. 2013 (cit. on pp
  • 2013

Generating Boogie Verification Conditions for Backward Compatibility of Class Libraries. Available at http://soft ech.cs.uni-kl.de/pub?id=191

Mathias Weber
  • Oct. 2012 (cit. on pp
  • 2012