Formal verification of object layout for C++ multiple inheritance (2011)

by T Ramananandro, G Dos Reis, X Leroy
Venue:In Proceedings of the 38th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, POPL ’11