[isabelle] New entry in AFP: CoreC++
Dear Isabelle users,
It is my pleasure to announce a new addition to the Archive of Formal Proofs:
CoreC++: An Operational Semantics and Type Safety Proof for Multiple
Inheritance in C++
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
and will appear at OOPSLA 2006.
Enjoy the intricacies of multiple inheritance a la C++ ;-)
This archive was generated by a fusion of
Pipermail (Mailman edition) and