Effective Java¶
Bloch, J. (2018). Effective Java: Programming Language Guide. Addison-Wesley.
Cited by¶
4 citations across 4 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
Domain-specific¶
- Liskov Substitution Principle
- This is a documented substitution hazard: the "subtype" strengthens the precondition (demanding the caller never mutate), which no client of the general
Listcontract was required to honourThis sourceBloch's Effective Java, cited for the optional-operations substitution hazard; the item text was not reachable for verification, and the precondition-strengthening framing is Liskov and Wing's rather than this book's.
- This is a documented substitution hazard: the "subtype" strengthens the precondition (demanding the caller never mutate), which no client of the general
- Method (computer programming)
- Resource leak
Verification¶
Does it exist? Confirmed. This work's ISBN resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 4 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:aac2ed9c9c46 · see in the full table