An operational semantics and type safety prooffor multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- OOPSLA 2006
Publications
Date
Featured collections
Popular topics
3 results for Gregor Snelting
An operational semantics and type safety proof for multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- ACM SIGPLAN Notices
Understanding class hierarchies using concept analysis
- Gregor Snelting
- Frank Tip
- 2000
- ACM TOPLAS