e/Leaky abstraction

Information
has gloss	eng: A leaky abstraction is a notion applied to implementations of an abstraction. This notion indicates that specific implementation details manifest themselves in a counter-productive way, thus interfering with the abstraction. The implementation details are said to "leak through" and interfere with the simplifying assumptions supposedly enabled by the abstraction.
lexicalization	eng: leaky abstraction
instance of	e/Software bug