• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Semantics of Inheritance and Object Substitutability

Ralph-Johan Back, Leonid Mikhajlov, Joakim von Wright, Formal Semantics of Inheritance and Object Substitutability. TUCS Technical Reports 337, Turku Centre for Computer Science, 2000.

Abstract:

http://www.tucs.fi/Publications/techreports/TR337.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBaMiWr00b,
  title = {Formal Semantics of Inheritance and Object Substitutability},
  author = {Back, Ralph-Johan and Mikhajlov, Leonid and Wright, Joakim von},
  number = {337},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2000},
  keywords = {correctness, class renement, subclassing, code inheritance,substitutability, semantics of object-oriented constructs},
}

Edit publication