Publications

3 results for Gregor Snelting

An operational semantics and type safety prooffor multiple inheritance in C++
- - Daniel Wasserrab
  - Tobias Nipkow
  - et al.
- 2006
- OOPSLA 2006
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