Effective Java

Bloch, J. (2018). Effective Java: Programming Language Guide. Addison-Wesley.

Type

Book

Intellectual base

Textbook

Year

2018

Link

https://openlibrary.org/works/OL25783599W not authoritativematched

Cited from

engineering_design

Cited by

3 citations across 3 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Interface
  • Interface also clarifies why changing an interface ripples through dependent systems: the interface is the coupling point, a property Bloch (2018) emphasizes as the defining concern of API design.

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 List contract was required to honour

    This 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.

• Method (computer programming)
  • … language and object model, declaring type, receiver, signature, parameters and return, visibility, binding and dispatch, state access, overriding or overloading and side effects are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

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:aac2ed9c9c46 · see in the full table