DMCA

An operational semantics and type safety proof for multiple inheritance in C++ (2006)

by Daniel Wasserrab , Tobias Nipkow , Gregor Snelting , Frank Tip
Venue:IN OOPSLA '06: PROCEEDINGS OF THE 21ST ANNUAL ACM SIGPLAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES, AND APPLICATIONS
Citations:16 - 0 self