Towards a formalization of programming-by-difference

  • I. Maung
  • J. R. Howse
  • R. J. Mitchell
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 873)

Abstract

Programming-by-difference is a popular technique for incremental object-oriented programming, whereby a new class is built from an existing class using the inheritance mechanism. We give a formalization of this technique using model-based class specifications. This formalization is given in terms of a relation, as-a, between class specifications. We compare this relation with the established reification relation and with the is-a relation, and give some examples.

Keywords

inheritance incremental programming design-by-contract subtype contravariance 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • I. Maung
    • 1
  • J. R. Howse
    • 1
  • R. J. Mitchell
    • 1
  1. 1.Departments of Computing and Mathematical SciencesUniversity of BrightonBrightonEngland

Personalised recommendations