Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Liskov_substitution_principle> ?p ?o }
- 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 Φ(x) be a property provable about objects x of type T. Then Φ(y) should be true for objects y of type S where S is a subtype of T. 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 preconditions, postconditions and invariants.".
- Liskov_substitution_principle wikiPageExternalLink sd-principles-3.ppt.pdf.
- Liskov_substitution_principle wikiPageExternalLink lsp.pdf.
- Liskov_substitution_principle wikiPageID "300568".
- Liskov_substitution_principle wikiPageLength "10767".
- Liskov_substitution_principle wikiPageOutDegree "56".
- Liskov_substitution_principle wikiPageRevisionID "678321390".
- Liskov_substitution_principle wikiPageWikiLink ACM_Transactions_on_Programming_Languages_and_Systems.
- Liskov_substitution_principle wikiPageWikiLink Aliasing_(computing).
- Liskov_substitution_principle wikiPageWikiLink Barbara_Liskov.
- Liskov_substitution_principle wikiPageWikiLink Bertrand_Meyer.
- Liskov_substitution_principle wikiPageWikiLink Category:Formal_methods.
- Liskov_substitution_principle wikiPageWikiLink Category:Object-oriented_programming.
- Liskov_substitution_principle wikiPageWikiLink Category:Programming_language_semantics.
- Liskov_substitution_principle wikiPageWikiLink Category:Programming_principles.
- Liskov_substitution_principle wikiPageWikiLink Category:Type_theory.
- Liskov_substitution_principle wikiPageWikiLink Circle-ellipse_problem.
- Liskov_substitution_principle wikiPageWikiLink Composition_over_inheritance.
- Liskov_substitution_principle wikiPageWikiLink Computer_program.
- Liskov_substitution_principle wikiPageWikiLink Correctness_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink Covariance_and_contravariance_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink Data_type.
- Liskov_substitution_principle wikiPageWikiLink Datatype.
- Liskov_substitution_principle wikiPageWikiLink Design_by_Contract.
- Liskov_substitution_principle wikiPageWikiLink Design_by_contract.
- Liskov_substitution_principle wikiPageWikiLink Encapsulation_(computer_programming).
- Liskov_substitution_principle wikiPageWikiLink Encapsulation_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink Formal_semantics_of_programming_languages.
- Liskov_substitution_principle wikiPageWikiLink Gary_T._Leavens.
- Liskov_substitution_principle wikiPageWikiLink Halting_problem.
- Liskov_substitution_principle wikiPageWikiLink Hoare_logic.
- Liskov_substitution_principle wikiPageWikiLink Immutable_object.
- Liskov_substitution_principle wikiPageWikiLink Inheritance_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink Inheritance_(object-oriented_programming).
- Liskov_substitution_principle wikiPageWikiLink Invariant_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink Jeannette_Wing.
- Liskov_substitution_principle wikiPageWikiLink Keynote.
- Liskov_substitution_principle wikiPageWikiLink Mutable.
- Liskov_substitution_principle wikiPageWikiLink Object-Oriented_Software_Construction.
- Liskov_substitution_principle wikiPageWikiLink Object-oriented_Software_Construction.
- Liskov_substitution_principle wikiPageWikiLink Object-oriented_programming.
- Liskov_substitution_principle wikiPageWikiLink Object_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink PostScript.
- Liskov_substitution_principle wikiPageWikiLink Postcondition.
- Liskov_substitution_principle wikiPageWikiLink Precondition.
- Liskov_substitution_principle wikiPageWikiLink Program_refinement.
- Liskov_substitution_principle wikiPageWikiLink Proof-theoretic.
- Liskov_substitution_principle wikiPageWikiLink Proof_theory.
- Liskov_substitution_principle wikiPageWikiLink Refinement_(computing).
- Liskov_substitution_principle wikiPageWikiLink Robert_C._Martin.
- Liskov_substitution_principle wikiPageWikiLink Robert_Cecil_Martin.
- Liskov_substitution_principle wikiPageWikiLink Semantics_(computer_science).
- Liskov_substitution_principle wikiPageWikiLink Subsumption_architecture.
- Liskov_substitution_principle wikiPageWikiLink Subtype.
- Liskov_substitution_principle wikiPageWikiLink Subtyping.
- Liskov_substitution_principle wikiPageWikiLink Subtyping_of_functions.
- Liskov_substitution_principle wikiPageWikiLink Type_signature.
- Liskov_substitution_principle wikiPageWikiLink Type_theory.
- Liskov_substitution_principle wikiPageWikiLink Undecidable_problem.
- Liskov_substitution_principle wikiPageWikiLinkText "LSP".
- Liskov_substitution_principle wikiPageWikiLinkText "Liskov substitution principle".
- Liskov_substitution_principle wikiPageWikiLinkText "behavioural subtyping".
- Liskov_substitution_principle wikiPageWikiLinkText "compatible functions".
- Liskov_substitution_principle wikiPageWikiLinkText "general rule of thumb".
- Liskov_substitution_principle wikiPageWikiLinkText "substitutability".
- Liskov_substitution_principle hasPhotoCollection Liskov_substitution_principle.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Cite_conference.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Cite_journal.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Cite_web.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Further2.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Math.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Redirect.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Refbegin.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Refend.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Refimprove.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Reflist.
- Liskov_substitution_principle wikiPageUsesTemplate Template:Solid_principles.
- 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 hypernym Principle.
- Liskov_substitution_principle type Airline.
- Liskov_substitution_principle type Area.
- Liskov_substitution_principle type Area.
- Liskov_substitution_principle type Method.
- Liskov_substitution_principle type Philosophy.
- 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 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.