Publikation 'CoreC++'

Maschinengestützte Beweise

[wasserrab06afp]

Daniel Wasserrab, CoreC++, Gerwin Klein and Tobias Nipkow and Lawrence Paulson (Ed.), Formal proof development, May 2006. Formal proof development

Zusammenfassung

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.

Download

[Link]

BibTeX

@incollection{wasserrab06afp,
  title = {CoreC++},
  booktitle = {The Archive of Formal Proofs},
  year = {2006},
  month = {May},
  publisher = {\url{http://afp.sf.net/entries/CoreC++.shtml}},
  author = {Daniel Wasserrab},
  editor = {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  note = {Formal proof development},
  url = {http://afp.sf.net/entries/CoreC++.shtml},
}

Institutsinterne Autoren

Wissenschaftliche Mitarbeiter
Wasserrab, Daniel

Projekte

Projekt

CoreC++