Class hierarchy complementation: soundly completing a partial type graph

George Balatsouras, Yannis Smaragdakis. Class hierarchy complementation: soundly completing a partial type graph. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 515-532, ACM, 2013. [doi]

Authors

George Balatsouras

This author has not been identified. Look up 'George Balatsouras' in Google

Yannis Smaragdakis

This author has not been identified. It may be one of the following persons: Look up 'Yannis Smaragdakis' in Google