Assertion: abstraction | /r/HasProperty | leaky
Facets:
Source sentences:
text: The software engineer and writer Joel Spolsky has criticised these efforts by claiming that all abstractions are leaky – that they can never completely hide the details below; however, this does not negate the usefulness of abstraction.
text: The idea is that the abstractions that are leaky are the ones that are not precise in the way Dijkstra specified.