Term Kind Topic What it is
Abstraction and Encapsulation concept Abstraction & Encapsulation Hiding mechanism behind a contract so the mechanism can be replaced — and the discipline of not letting the mechanism leak through the contract.
Cost-Bearing Abstraction Budgeted Abstraction, Abstraction Over Finite Resources concept Abstraction & Encapsulation The principle that any abstraction which lets a caller express arbitrary intent over a shared finite resource must also expose a budget - otherwise the feature is a denial-of-service surface.
Leaky Abstraction concept Abstraction & Encapsulation An abstraction whose underlying implementation details become visible or consequential, requiring users to understand what it was meant to hide.