A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries

Yannick Welsch, Arnd Poetzsch-Heffter. A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. Science of Computer Programming, 92:129-161, 2014. [doi]

Abstract

Abstract is missing.