Liskovsches Substitutionsprinzip - Versionsgeschichte

Kowa am 3. August 2019 um 12:34 Uhr

2019-08-03T12:34:39Z

← Nächstältere Version		Version vom 3. August 2019, 12:34 Uhr
Zeile 34:		Zeile 34:
	==Siehe auch==		==Siehe auch==
	*[[Programmierprinzipien#Liskovsches_Substitutionsprinzip.5B2.5D.2C_LSP.2C_Ersetzbarkeitsprinzip.2C_Liskov_substitution_principle.5B3.5D\|Programmierprinzipien]]		*[[Programmierprinzipien#Liskovsches_Substitutionsprinzip.5B2.5D.2C_LSP.2C_Ersetzbarkeitsprinzip.2C_Liskov_substitution_principle.5B3.5D\|Programmierprinzipien]]
			[[Kategorie:Programmierprinzip]]
	[[Kategorie:~~Programmierung~~]]		[[Kategorie:HowTo]]

Kowa am 31. Mai 2017 um 06:22 Uhr

2017-05-31T06:22:47Z

← Nächstältere Version		Version vom 31. Mai 2017, 06:22 Uhr
Zeile 4:		Zeile 4:
	\|numberOfReferences = 3		\|numberOfReferences = 3
	\|qualityOfReferences = 4		\|qualityOfReferences = 4
	\|conformance = 2		\|conformance = 4
	}}		}}
	==Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>==		==Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>==

Kowa: /* Siehe auch */

2016-09-10T09:11:51Z

Siehe auch

← Nächstältere Version		Version vom 10. September 2016, 09:11 Uhr
Zeile 32:		Zeile 32:
	<references/>		<references/>

	=Siehe auch=		==Siehe auch==
	*[[Programmierprinzipien#Liskovsches_Substitutionsprinzip.5B2.5D.2C_LSP.2C_Ersetzbarkeitsprinzip.2C_Liskov_substitution_principle.5B3.5D\|Programmierprinzipien]]		*[[Programmierprinzipien#Liskovsches_Substitutionsprinzip.5B2.5D.2C_LSP.2C_Ersetzbarkeitsprinzip.2C_Liskov_substitution_principle.5B3.5D\|Programmierprinzipien]]

	[[Kategorie:Programmierung]]		[[Kategorie:Programmierung]]

Kowa am 10. September 2016 um 09:11 Uhr

2016-09-10T09:11:04Z

← Nächstältere Version		Version vom 10. September 2016, 09:11 Uhr
Zeile 1:		Zeile 1:
	{{Qualität		{{Qualität
	\|correctness = 4		\|correctness = 4
	\|extent = 3		\|extent = 2
	\|numberOfReferences = 3		\|numberOfReferences = 3
	\|qualityOfReferences = 4		\|qualityOfReferences = 4
Zeile 11:		Zeile 11:
	unchanged when o1 is substituted for o2, then S is a subtype of T.		unchanged when o1 is substituted for o2, then S is a subtype of T.

	'''Übersetzung (von W. Kowarschick):'''<br/>		'''Übersetzung (von W. Kowarschick)''':<br/>
	Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.		Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.

	~~===~~Anmerkung~~===~~		'''Anmerkung''':<br/>
	Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.		Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.

Kowa: /* Definition (von Liskov und Wing, 1994)Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841 */

2016-09-10T09:10:23Z

Definition (von Liskov und Wing, 1994)Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841

← Nächstältere Version		Version vom 10. September 2016, 09:10 Uhr
Zeile 17:		Zeile 17:
	Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.		Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.

	=Definition (von Liskov und Wing, 1994)<ref>Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=		==Definition (von Liskov und Wing, 1994)<ref>Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>==
	Subtype Requirement: Let Φ(x) be a property provable about objects x		Subtype Requirement: 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		of type T. Then Φ(y) should be true for objects y of type S where S is
	a subtype of T.		a subtype of T.

	Übersetzung (von W. Kowarschick):<br/>		'''Übersetzung (von W. Kowarschick)''':<br/>
	Subtyp-Bedingung: Es sei Φ(x) eine Eigenschaft, die für Objekte x vom Typ T beweisbar ist. Dann soll Φ(x) [ebenfalls] für Objekte y von Type S gelten,		Subtyp-Bedingung: Es sei Φ(x) eine Eigenschaft, die für Objekte x vom Typ T beweisbar ist. Dann soll Φ(x) [ebenfalls] für Objekte y von Type S gelten,
	wobei S ein Subtyp von T ist.		wobei S ein Subtyp von T ist.

Kowa: /* Definition (von Liskov, 1988)Barbara Liskov: “Keynote address - data abstraction and hierarchy”, Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988 */

2016-09-10T09:09:16Z

Definition (von Liskov, 1988)Barbara Liskov: “Keynote address - data abstraction and hierarchy”, Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988

← Nächstältere Version		Version vom 10. September 2016, 09:09 Uhr
Zeile 11:		Zeile 11:
	unchanged when o1 is substituted for o2, then S is a subtype of T.		unchanged when o1 is substituted for o2, then S is a subtype of T.

	Übersetzung (von W. Kowarschick):<br/>		'''Übersetzung (von W. Kowarschick):'''<br/>
	Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.		Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.

Kowa am 10. September 2016 um 09:08 Uhr

2016-09-10T09:08:55Z

← Nächstältere Version		Version vom 10. September 2016, 09:08 Uhr
Zeile 1:		Zeile 1:
	=Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>=		{{Qualität
			\|correctness = 4
			\|extent = 3
			\|numberOfReferences = 3
			\|qualityOfReferences = 4
			\|conformance = 2
			}}
			==Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>==
	What is wanted here is something like the following substitution property [6]: If for each object o1 of type S there		What is wanted here is something like the following substitution property [6]: If for each object o1 of type S there
	is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is		is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is
Zeile 7:		Zeile 14:
	Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.		Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.

	==Anmerkung==		===Anmerkung===
	Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.		Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.

Zeile 19:		Zeile 26:
	wobei S ein Subtyp von T ist.		wobei S ein Subtyp von T ist.

	=Definition (von W. Kowarschick)<ref>[[Kowarschick, W.: Multimedia-Programmierung]]</ref>=		==Definition (von W. Kowarschick)<ref>[[Kowarschick, W.: Multimedia-Programmierung]]</ref>==
	Eine [[Methode]] sollte nicht so überschrieben werden, dass sich ein Objekt einer [[Abgeleitete Klasse\|abgeleiteten Klasse]] überraschend anders verhält, als man es aufgrund der Definition der Basisklasse erwarten würde. Mit anderen Worten: Methoden, die in abgeleiteten Klassen neu definiert werden, müssen alle [[Integritätsbedingung]]en (d.h. die Spezifikation) der Basisklasse beachten.		Eine [[Methode]] sollte nicht so überschrieben werden, dass sich ein Objekt einer [[Abgeleitete Klasse\|abgeleiteten Klasse]] überraschend anders verhält, als man es aufgrund der Definition der Basisklasse erwarten würde. Mit anderen Worten: Methoden, die in abgeleiteten Klassen neu definiert werden, müssen alle [[Integritätsbedingung]]en (d.h. die Spezifikation) der Basisklasse beachten.

	=Quellen=		==Quellen==
	<references/>		<references/>

Zeile 29:		Zeile 36:

	[[Kategorie:Programmierung]]		[[Kategorie:Programmierung]]
	~~{{{{SITENAME}}-konformer Artikel}}~~

Kowa: /* Definition (von Liskov, 1988)Barbara Liskov: “Keynote address - data abstraction and hierarchy”, Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988 */

2011-02-23T14:20:23Z

Definition (von Liskov, 1988)Barbara Liskov: “Keynote address - data abstraction and hierarchy”, Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988

← Nächstältere Version		Version vom 23. Februar 2011, 14:20 Uhr
Zeile 1:		Zeile 1:
	=Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>=		=Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>=
	What is wanted here is something like the following substitution property [~~...~~]: If for each object o1 of type S there		What is wanted here is something like the following substitution property [6]: If for each object o1 of type S there
	is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is		is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is
	unchanged when o1 is substituted for o2, then S is a subtype of T.		unchanged when o1 is substituted for o2, then S is a subtype of T.

	Übersetzung (von W. Kowarschick):<br/>		Übersetzung (von W. Kowarschick):<br/>
	Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.		Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft [6]: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.

			==Anmerkung==
			Die Quelle [6], auf die Barbara Liskov bei dieser Definition verweist, steht für die Dissertation von G. Leavens „Subtyping and Generic Invocation: Semantics and Language Design“<ref>Leavens, G. „Subtyping and Generic Invocation: Semantics and Language Design“, Ph.D: Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science</ref>, die zum Zeitpunkt der OOPSLA '87 noch nicht fertiggestellt war.

	=Definition (von Liskov und Wing, 1994)<ref>Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=		=Definition (von Liskov und Wing, 1994)<ref>Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=

Kowa am 23. Februar 2011 um 14:11 Uhr

2011-02-23T14:11:35Z

← Nächstältere Version		Version vom 23. Februar 2011, 14:11 Uhr
Zeile 1:		Zeile 1:
	=Definition (von ~~W. Kowarschick~~)<ref>[~~[Kowarschick~~, ~~W.: Multimedia-Programmierung]~~]</ref>=		=Definition (von Liskov, 1988)<ref>Barbara Liskov: “Keynote address - data abstraction and hierarchy”, [http://portal.acm.org/citation.cfm?id=62141 Proceeding OOPSLA '87 and ACM SIGPLAN Notices, Volume 23 Issue 5, May 1988]</ref>=
	~~Eine~~ [~~[Methode~~]~~] sollte nicht so überschrieben werden~~, ~~dass sich ein Objekt einer [[Abgeleitete Klasse\|abgeleiteten Klasse]] überraschend anders verhält~~, ~~als man es aufgrund der Definition der Basisklasse erwarten würde~~. ~~Mit anderen Worten~~: ~~Methoden~~, die ~~in abgeleiteten Klassen neu definiert werden~~, ~~müssen~~ alle ~~[[Integritätsbedingung]]en (d.h.~~ die ~~Spezifikation)~~ der ~~Basisklasse beachten~~.		What is wanted here is something like the following substitution property [...]: If for each object o1 of type S there
			is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is
			unchanged when o1 is substituted for o2, then S is a subtype of T.

			Übersetzung (von W. Kowarschick):<br/>
			Was hier benötigt wird, ist etwas wie die folgende Ersetzungseigenschaft: Wenn es für jedes Objekt o1 vom Typ S ein Objekt o2 vom Typ T gibt, so dass für alle Programme, die auf Termen der Art T basieren, sich das Verhalten von P nicht ändert, wenn o2 durch o1 ersetzt wird, dann ist S ein Subtyp von T.

	=~~Originaldefinition~~ (von Liskov und Wing)<ref>Barbara H. Liskov, Jeannette M. Wing: ~~''A~~ Behavioral Notion of ~~Subtyping''~~, [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=		=Definition (von Liskov und Wing, 1994)<ref>Barbara H. Liskov, Jeannette M. Wing: “A Behavioral Notion of Subtyping”, [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=
	Subtype Requirement: Let Φ(x) be a property provable about objects x		Subtype Requirement: 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		of type T. Then Φ(y) should be true for objects y of type S where S is
Zeile 10:		Zeile 15:
	Subtyp-Bedingung: Es sei Φ(x) eine Eigenschaft, die für Objekte x vom Typ T beweisbar ist. Dann soll Φ(x) [ebenfalls] für Objekte y von Type S gelten,		Subtyp-Bedingung: Es sei Φ(x) eine Eigenschaft, die für Objekte x vom Typ T beweisbar ist. Dann soll Φ(x) [ebenfalls] für Objekte y von Type S gelten,
	wobei S ein Subtyp von T ist.		wobei S ein Subtyp von T ist.

			=Definition (von W. Kowarschick)<ref>[[Kowarschick, W.: Multimedia-Programmierung]]</ref>=
			Eine [[Methode]] sollte nicht so überschrieben werden, dass sich ein Objekt einer [[Abgeleitete Klasse\|abgeleiteten Klasse]] überraschend anders verhält, als man es aufgrund der Definition der Basisklasse erwarten würde. Mit anderen Worten: Methoden, die in abgeleiteten Klassen neu definiert werden, müssen alle [[Integritätsbedingung]]en (d.h. die Spezifikation) der Basisklasse beachten.

	=Quellen=		=Quellen=

Kowa am 23. Februar 2011 um 13:03 Uhr

2011-02-23T13:03:21Z

← Nächstältere Version		Version vom 23. Februar 2011, 13:03 Uhr
Zeile 1:		Zeile 1:
	=Definition (~~nach~~ W. ~~Kowrschick~~)<ref>[[Kowarschick, W.: Multimedia-Programmierung]]</ref>=		=Definition (von W. Kowarschick)<ref>[[Kowarschick, W.: Multimedia-Programmierung]]</ref>=
	Eine [[Methode]] sollte nicht so überschrieben werden, dass sich ein Objekt einer [[Abgeleitete Klasse\|abgeleiteten Klasse]] überraschend anders verhält, als man es aufgrund der Definition der Basisklasse erwarten würde. Mit anderen Worten: Methoden, die in abgeleiteten Klassen neu definiert werden, müssen alle [[Integritätsbedingung]]en (d.h. die Spezifikation) der Basisklasse beachten.		Eine [[Methode]] sollte nicht so überschrieben werden, dass sich ein Objekt einer [[Abgeleitete Klasse\|abgeleiteten Klasse]] überraschend anders verhält, als man es aufgrund der Definition der Basisklasse erwarten würde. Mit anderen Worten: Methoden, die in abgeleiteten Klassen neu definiert werden, müssen alle [[Integritätsbedingung]]en (d.h. die Spezifikation) der Basisklasse beachten.

	=~~Definition~~ (Liskov, Wing)<ref>Barbara H. Liskov, Jeannette M. Wing: ''A Behavioral Notion of Subtyping'', [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=		=Originaldefinition (von Liskov und Wing)<ref>Barbara H. Liskov, Jeannette M. Wing: ''A Behavioral Notion of Subtyping'', [http://portal.acm.org/citation.cfm?id=197383 ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 6, November 1994, Pages 1811-1841]</ref>=
	Subtype Requirement: Let Φ(x) be a property provable about objects x		Subtype Requirement: 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		of type T. Then Φ(y) should be true for objects y of type S where S is
Zeile 15:		Zeile 15:

	=Siehe auch=		=Siehe auch=
	* [[Programmierprinzipien#Liskovsches_Substitutionsprinzip.5B2.5D.2C_LSP.2C_Ersetzbarkeitsprinzip.2C_Liskov_substitution_principle.5B3.5D\|Programmierprinzipien]]		*[[Programmierprinzipien#Liskovsches_Substitutionsprinzip.5B2.5D.2C_LSP.2C_Ersetzbarkeitsprinzip.2C_Liskov_substitution_principle.5B3.5D\|Programmierprinzipien]]

	[[Kategorie:Programmierung]]		[[Kategorie:Programmierung]]
	{{{{SITENAME}}-konformer Artikel}}		{{{{SITENAME}}-konformer Artikel}}