KIT | KIT-Bibliothek | Impressum | Datenschutz

CoreC++

Wasserrab, Daniel

Abstract:
We present an operational semantics and type safety proof for multiple inheritance in C++. The semantics models the behavior of method calls, field accesses, and two forms of casts in C++ class hierarchies. For explanations see the OOPSLA 2006 paper by Wasserrab, Nipkow, Snelting and Tip.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2006
Sprache Englisch
Identifikator ISSN: 2150-914X
KITopen-ID: 1000017687
Erschienen in The Archive of Formal Proofs
Heft 5
Seiten 328 S.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page