Technischer Bericht: 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, Technischer Bericht, 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},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting

Ehemalige Mitarbeiter
Dr.-Ing. Daniel Wasserrab

Projekte

Projekt

CoreC++