Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Liskov_substitution_principle> ?p ?o. }
Showing items 1 to 50 of
50
with 100 items per page.
- Liskov_substitution_principle abstract "Substitutability is a principle in object-oriented programming. It states that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e., objects of type S may substitute objects of type T) without altering any of the desirable properties of that program (correctness, task performed, etc.). More formally, the Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called (strong) behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address entitled Data abstraction and hierarchy. 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. Barbara Liskov and Jeannette Wing formulated the principle succinctly in a 1994 paper as follows:Let be a property provable about objects of type . Then should be provable for objects of type where is a subtype of .In the same paper, Liskov and Wing detailed their notion of behavioral subtyping in an extension of Hoare logic, which bears a certain resemblance with Bertrand Meyer's Design by Contract in that it considers the interaction of subtyping with pre- and postconditions.".
- Liskov_substitution_principle wikiPageExternalLink sd-principles-3.ppt.pdf.
- Liskov_substitution_principle wikiPageExternalLink lsp.pdf.
- Liskov_substitution_principle wikiPageID "300568".
- Liskov_substitution_principle wikiPageRevisionID "596956060".
- Liskov_substitution_principle hasPhotoCollection Liskov_substitution_principle.
- Liskov_substitution_principle subject Category:Formal_methods.
- Liskov_substitution_principle subject Category:Object-oriented_programming.
- Liskov_substitution_principle subject Category:Programming_language_semantics.
- Liskov_substitution_principle subject Category:Programming_principles.
- Liskov_substitution_principle subject Category:Type_theory.
- Liskov_substitution_principle type Ability105616246.
- Liskov_substitution_principle type Abstraction100002137.
- Liskov_substitution_principle type Cognition100023271.
- Liskov_substitution_principle type Content105809192.
- Liskov_substitution_principle type FormalMethods.
- Liskov_substitution_principle type Generalization105913275.
- Liskov_substitution_principle type Idea105833840.
- Liskov_substitution_principle type Know-how105616786.
- Liskov_substitution_principle type Method105660268.
- Liskov_substitution_principle type Principle105913538.
- Liskov_substitution_principle type ProgrammingPrinciples.
- Liskov_substitution_principle type PsychologicalFeature100023100.
- Liskov_substitution_principle comment "Substitutability is a principle in object-oriented programming. It states that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S (i.e., objects of type S may substitute objects of type T) without altering any of the desirable properties of that program (correctness, task performed, etc.).".
- Liskov_substitution_principle label "Liskov substitution principle".
- Liskov_substitution_principle label "Liskovsches Substitutionsprinzip".
- Liskov_substitution_principle label "Principe de substitution de Liskov".
- Liskov_substitution_principle label "Principio de sustitución de Liskov".
- Liskov_substitution_principle label "Principio di sostituzione di Liskov".
- Liskov_substitution_principle label "Princípio da substituição de Liskov".
- Liskov_substitution_principle label "Substitutieprincipe van Liskov".
- Liskov_substitution_principle label "Zasada podstawienia Liskov".
- Liskov_substitution_principle label "Принцип подстановки Барбары Лисков".
- Liskov_substitution_principle label "リスコフの置換原則".
- Liskov_substitution_principle label "里氏替换原则".
- Liskov_substitution_principle sameAs Liskovsches_Substitutionsprinzip.
- Liskov_substitution_principle sameAs Principio_de_sustitución_de_Liskov.
- Liskov_substitution_principle sameAs Principe_de_substitution_de_Liskov.
- Liskov_substitution_principle sameAs Principio_di_sostituzione_di_Liskov.
- Liskov_substitution_principle sameAs リスコフの置換原則.
- Liskov_substitution_principle sameAs 리스코프_치환_원칙.
- Liskov_substitution_principle sameAs Substitutieprincipe_van_Liskov.
- Liskov_substitution_principle sameAs Zasada_podstawienia_Liskov.
- Liskov_substitution_principle sameAs Princípio_da_substituição_de_Liskov.
- Liskov_substitution_principle sameAs m.01rvbk.
- Liskov_substitution_principle sameAs Q957386.
- Liskov_substitution_principle sameAs Q957386.
- Liskov_substitution_principle sameAs Liskov_substitution_principle.
- Liskov_substitution_principle wasDerivedFrom Liskov_substitution_principle?oldid=596956060.
- Liskov_substitution_principle isPrimaryTopicOf Liskov_substitution_principle.