An operational semantics and type safety prooffor multiple inheritance in C++.

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Browse the full OOPSLA paper archive.