Publikation 'An Operational Semantics and Type Safety Proof for C++-like Multiple Inheritance'

Technischer Bericht

[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},
  url = {http://pp.info.uni-karlsruhe.de/uploads/publikationen/wasserrab05ibm.pdf},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Snelting, Gregor

Wissenschaftliche Mitarbeiter
Wasserrab, Daniel

Projekte

Projekt

CoreC++