Technical Report: An Operational Semantics and Type Safety Proof for C++-like Multiple Inheritance

[wasserrab05ibm]

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip, An Operational Semantics and Type Safety Proof for C++-like Multiple Inheritance, IBM, Technical Report, Nr. RC23709, 2005.

Download

[PDF]

BibTeX

@techreport{wasserrab05ibm,
  title = {An Operational Semantics and Type Safety Proof for C++-like Multiple
 Inheritance},
  year = {2005},
  number = {RC23709},
  author = {Daniel Wasserrab and Tobias Nipkow and Gregor Snelting and Frank Tip},
  institution = {IBM},
}

Authors at the institute

Department Head
Prof. Gregor Snelting

Former Staff Member
Dr.-Ing. Daniel Wasserrab

Projects

Project

CoreC++