DBLP Record 'conf/oopsla/WasserrabNST06'

BibTeX

@inproceedings{DBLP:conf/oopsla/WasserrabNST06,
  author    = {Daniel Wasserrab and
               Tobias Nipkow and
               Gregor Snelting and
               Frank Tip},
  title     = {An operational semantics and type safety prooffor multiple
               inheritance in C++},
  booktitle = {OOPSLA},
  year      = {2006},
  pages     = {345-362},
  ee        = {http://doi.acm.org/10.1145/1167473.1167503},
  crossref  = {DBLP:conf/oopsla/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/oopsla/2006,
  editor    = {Peri L. Tarr and
               William R. Cook},
  title     = {Proceedings of the 21th Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-348-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}