[isabelle] New entry in AFP: CoreC++

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++

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 MHonArc.