Formal verification of object layout for c++ multiple inheritance.

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy

Browse the full POPL paper archive.