This HTML5 document contains 53 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n26http://fr.dbpedia.org/resource/Wikt:
dbpedia-dehttp://de.dbpedia.org/resource/
n21http://fr.dbpedia.org/resource/Principe_ouvert/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n19http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n16http://fr.dbpedia.org/resource/Modèle:
dbpedia-fahttp://fa.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n31http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Principe_de_substitution_de_Liskov
rdfs:label
里氏替换原则 Principio di sostituzione di Liskov Liskov substitution principle Principe de substitution de Liskov Принцип подстановки Барбары Лисков
rdfs:comment
Le principe de substitution de Liskov (LSP) est, en programmation orientée objet, une définition particulière de la notion de sous-type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion of Subtyping : Liskov et Wing en ont proposé la formulation condensée suivante : Si est une propriété démontrable pour tout objet de type , alors est vraie pour tout objet de type tel que est un sous-type de .
owl:sameAs
dbpedia-he:עקרון_ההחלפה_של_ליסקוב dbpedia-it:Principio_di_sostituzione_di_Liskov dbpedia-de:Liskovsches_Substitutionsprinzip dbpedia-nl:Substitutieprincipe_van_Liskov dbpedia-pl:Zasada_podstawienia_Liskov dbpedia-fa:قاعده_جانشانی_لیسکوف dbpedia-ru:Принцип_подстановки_Барбары_Лисков dbr:Liskov_substitution_principle wikidata:Q957386 n19:01rvbk dbpedia-ja:リスコフの置換原則 dbpedia-zh:里氏替换原则 dbpedia-uk:Принцип_підстановки_Лісков dbpedia-cs:Liskovové_princip_zastoupení dbpedia-es:Principio_de_sustitución_de_Liskov dbpedia-ko:리스코프_치환_원칙 n31:56349677 dbpedia-pt:Princípio_da_substituição_de_Liskov
dbo:wikiPageID
1014549
dbo:wikiPageRevisionID
179158331
dbo:wikiPageWikiLink
dbpedia-fr:Programmation_par_contrat dbpedia-fr:Programmation_orientée_objet dbpedia-fr:Jeannette_Wing dbpedia-fr:Principe_de_substitution_de_Liskov dbpedia-fr:Polymorphisme_(informatique) dbpedia-fr:Permutation dbpedia-fr:Covariant_et_contravariant_(algèbre_linéaire) dbpedia-fr:Précondition category-fr:Théorie_des_types dbpedia-fr:Héritage_(informatique) dbpedia-fr:Type_(informatique) n21:fermé category-fr:Programmation_orientée_objet dbpedia-fr:Système_de_gestion_d'exceptions dbpedia-fr:Barbara_Liskov dbpedia-fr:SOLID_(informatique) n26:sous-type
dbo:wikiPageLength
7432
dct:subject
category-fr:Programmation_orientée_objet category-fr:Théorie_des_types
prop-fr:wikiPageUsesTemplate
n16:Portail n16:Palette
prov:wasDerivedFrom
wikipedia-fr:Principe_de_substitution_de_Liskov?oldid=179158331&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Principe_de_substitution_de_Liskov
dbo:namedAfter
dbpedia-fr:Barbara_Liskov
dbo:abstract
Le principe de substitution de Liskov (LSP) est, en programmation orientée objet, une définition particulière de la notion de sous-type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion of Subtyping : Liskov et Wing en ont proposé la formulation condensée suivante : Si est une propriété démontrable pour tout objet de type , alors est vraie pour tout objet de type tel que est un sous-type de .
dbo:isPartOf
dbpedia-fr:SOLID_(informatique)