An Operational Semantics and Type Safety Proof for Multiple Inheritance in C Daniel Wasserrab Tobias Nipkow - type C - Document - PDFSEARCH.IO

First Page	Meta Content
	An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++ Daniel Wasserrab Tobias Nipkow Add to Reading List Document Date: 2016-01-22 11:53:09 Open Document File Size: 1,12 MB Share Result on Facebook

An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++ Daniel Wasserrab Tobias NipkowAdd to Reading List