A Behavioral Notion of Subtyping.¶
Liskov, B. H., & Wing, J. M. (1994). A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 16(6), 1811-1841.
Cited by¶
4 citations across 4 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Fungibility
- And in software design, interface-conforming objects are fungible at the call site, with the Liskov substitution principle serving as fungibility-as-correctness criterion and type abstraction as the fungibilizing mechanism.
This sourceFormalizes the Liskov substitution principle — any implementation of a type substitutes for any other without breaking the caller — fungibility as a correctness criterion.
- And in software design, interface-conforming objects are fungible at the call site, with the Liskov substitution principle serving as fungibility-as-correctness criterion and type abstraction as the fungibilizing mechanism.
- Inheritance
- The three load-bearing commitments are these. Lineage: a directed, asymmetric relation between a parent and a derivative — child class and superclass, descendant and ancestor, heir and decedent, subspecies and species, statute and constitutional predecessor. Default carrying-over: by default the properties of the parent apply to the derivative without re-derivation — a child class gets its parent's methods, a beneficiary gets the testator's estate, an organism gets its parents' alleles, a junior court gets binding precedent.
This sourceFormal statement of the substitutability principle (LSP): a subtype must be usable wherever its supertype is expected.
- The three load-bearing commitments are these. Lineage: a directed, asymmetric relation between a parent and a derivative — child class and superclass, descendant and ancestor, heir and decedent, subspecies and species, statute and constitutional predecessor. Default carrying-over: by default the properties of the parent apply to the derivative without re-derivation — a child class gets its parent's methods, a beneficiary gets the testator's estate, an organism gets its parents' alleles, a junior court gets binding precedent.
- Substitutability
- A substitutable component conforms to an interface or specification such that swapping it for another conforming component preserves system performance within acceptable bounds, a relation Liskov and Wing (1994) made precise as behavioral subtyping: a subtype is substitutable for its supertype only when every property provable of the supertype remains true of the subtype.
This sourceFormal definition of behavioral subtyping (the Liskov Substitution Principle): a subtype S of T is substitutable for T iff every property provable of T-objects also holds of S-objects, making interface conformance a precise guarantee of swap-safety.
- A substitutable component conforms to an interface or specification such that swapping it for another conforming component preserves system performance within acceptable bounds, a relation Liskov and Wing (1994) made precise as behavioral subtyping: a subtype is substitutable for its supertype only when every property provable of the supertype remains true of the subtype.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:171b777c947e · see in the full table