Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New entry in AFP: CoreC++

Email Gateway (Aug 17 2022 at 14:44):

From: nipkow@in.tum.de
Dear Isabelle users,

It is my pleasure to announce a new addition to the Archive of Formal Proofs:

Daniel Wasserrab.
CoreC++: An Operational Semantics and Type Safety Proof for Multiple
Inheritance in C++
http://afp.sourceforge.net/entries/CoreC++.shtml

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.

A complete writeup of this work can be found here
http://www.in.tum.de/~nipkow/pubs/oopsla06.html
and will appear at OOPSLA 2006.

Enjoy the intricacies of multiple inheritance a la C++ ;-)
Tobias

Last updated: May 03 2024 at 12:27 UTC