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

by Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy
Venue:In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, POPL ’11