BARBARA LISKOV DATA ABSTRACTION AND HIERARCHY PDF

Request PDF on ResearchGate | Data Abstraction and Hierarchy | An abstract is not available. Barbara Liskov at Massachusetts Institute of Technology. and Hierarchy. MIT. Barbara Liskov Laboratory for Computer Science Cambridge , Ma. Abstract. Data abstraction is a valuable method for organizing. Barbara Liskov. November Page 2. Outline. ▫ Inventing abstract data types . ▫ CLU. ▫ Type hierarchy. ▫ What next. Page 3. Data Abstraction Prehistory.

Author: Moogura Zushura
Country: Gabon
Language: English (Spanish)
Genre: Spiritual
Published (Last): 24 April 2015
Pages: 255
PDF File Size: 9.27 Mb
ePub File Size: 8.85 Mb
ISBN: 654-7-16423-948-7
Downloads: 23687
Price: Free* [*Free Regsitration Required]
Uploader: Kamuro

Behavioural subtyping is a stronger notion than typical subtyping of functions defined in type theorywhich relies only on the contravariance of argument types lisskov covariance of the return type. The abstgaction of the principle by its authors. An article popular in the object-oriented programming community that gives several examples of LSP violations.

Object-oriented programming Type theory Programming principles Formal methods Programming language semantics. A keynote address in which Liskov first formulated the principle.

This paper surveys various notions of behavioral subtyping, including Liskov and Wing’s. From Wikipedia, the free encyclopedia.

Liskov substitution principle

In addition to the signature requirements, the subtype must meet a number of behavioural conditions. More formally, the Liskov substitution principle LSP is a particular definition of a subtyping relation, called strong behavioral subtypingthat was initially introduced by Barbara Liskov in a conference keynote address titled Data abstraction and hierarchy.

Retrieved from ” https: Articles lacking in-text citations from October All articles lacking in-text citations. Contains a gentler introduction absteaction behavioral subtyping in its various forms in chapter 2.

  LA ECOLOGIA EMOCIONAL JAUME SOLER PDF

This page was last edited on 27 Novemberat Leavens and Krishna K.

The rules on pre- and postconditions are identical to those introduced by Bertrand Meyer in his book Object-Oriented Software Construction. Leavens, Murali Sitaraman, ed.

Liskov substitution principle – Wikipedia

A behavioral notion of subtyping. In the same paper, Liskov and Wing detailed their notion of behavioral subtyping in an extension of Hoare logicwhich bears a certain resemblance to Bertrand Meyer ‘s design by contract in that it considers the interaction of subtyping with preconditionspostconditions and invariants.

Taking aliasing into account was lskov major improvement made by Liskov and Wingand a key ingredient is the history constraint. This article includes a list of referencesbut its sources remain unclear because it has insufficient inline citations. Please help to improve this article by introducing more precise citations.

Both Meyer, and later Pierre America, who was the first to liskkov the term behavioral subtypinggave proof-theoretic definitions of some behavioral subtyping notions, but their definitions did not take into account aliasing that may occur in programming languages that support references or pointers. Views Read Edit View history.

An updated version appeared as CMU technical report: Liskov’s notion of a behavioural subtype defines a notion of substitutability for objects; that is, if S is a subtype of Tthen objects of type T in a program may be replaced with objects of type S without altering any of the desirable properties of that program e.

  FLOTSAM DAVID WIESNER PDF

Substitutability is a principle in object-oriented programming stating that, in a computer programif S is a subtype of T, then objects of type T may be replaced with objects of type S i. Liskov, Barbara ; Wing, Jeannette July Nonetheless, the principle is useful in reasoning about the design of class hierarchies. For the economic principle, see Substitute good. It is a semantic rather than merely syntactic relation, because it intends to guarantee semantic interoperability of types in a hierarchy, object types in particular.

These are detailed in a terminology resembling that of design by contract methodology, leading to some restrictions on how contracts can interact with inheritance:. October Learn how and when to remove this template message.

Behavioural subtyping is undecidable in general: Liskov’s principle imposes some standard requirements on signatures that have been adopted in newer object-oriented programming languages usually at the level of classes rather than types; see nominal vs.

Barbara Liskov ahd Jeannette Wing described the principle succinctly in a paper as follows:. By using this site, you agree to the Terms of Use and Privacy Policy.

This paper discusses LSP in the mentioned context.

Posted in: Music