CoreC++

Daniel Wasserrab 🌐

May 15, 2006

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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.

License

BSD License

Topics

Session CoreC++

Cite

× 
@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},
}
Download

Download

× Download latest

Older releases: