# CoreC++

 Title: CoreC++ Author: Daniel Wasserrab Submission date: 2006-05-15 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. BibTeX: @article{CoreC++-AFP, author = {Daniel Wasserrab}, title = {CoreC++}, journal = {Archive of Formal Proofs}, month = may, year = 2006, note = {\url{https://isa-afp.org/entries/CoreC++.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.