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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.