An operational semantics and type safety prooffor multiple inheritance in C++
- Daniel Wasserrab
- Tobias Nipkow
- et al.
- 2006
- OOPSLA 2006
Conference paper
Publications
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
PaperUnderstanding class hierarchies using concept analysis
- Gregor Snelting
- Frank Tip
- 2000
- ACM TOPLAS
Paper