Login / Signup

An operational semantics and type safety prooffor multiple inheritance in C++.

Daniel WasserrabTobias NipkowGregor SneltingFrank Tip
Published in: OOPSLA (2006)
Keyphrases
  • operational semantics
  • multiple inheritance
  • mental states
  • formal semantics
  • complex objects
  • high level
  • object oriented databases
  • speech acts
  • model theoretic
  • activity diagrams