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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.