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

Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse

Anna Mikhajlova, Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse. In: Martin Schwenke Trevor Vickers Jim Grundy (Ed.), International Refinement Workshop, and Formal Methods Pacific (IRW/FMP'98), Springer Series in Discrete Mathematics and Theoretical Computer Science, 266-285, Springer-Verlag, 1998.

BibTeX entry:

@INPROCEEDINGS{pMikhajlova98b,
  title = {Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse},
  booktitle = {International Refinement Workshop, and Formal Methods Pacific (IRW/FMP'98)},
  author = {Mikhajlova, Anna},
  series = {Springer Series in Discrete Mathematics and Theoretical Computer Science},
  editor = {Jim Grundy, Martin Schwenke Trevor Vickers},
  publisher = {Springer-Verlag},
  pages = {266-285},
  year = {1998},
}

Edit publication