Abstraction principle (computer programming)

Abstraction inversion for an anti-pattern of one danger in abstraction

Abstract data type for an abstract description of a set of data

Algorithm for an abstract description of a computational procedure

Bracket abstraction for making a term into a function of a variable

Data modeling for structuring data independent of the processes that use it

Encapsulation for abstractions that hide implementation details

Greenspun's Tenth Rule for an aphorism about an (the?) optimum point in the space of abstractions

Higher-order function for abstraction where functions produce or consume other functions

Lambda abstraction for making a term into a function of some variable

List of abstractions (computer science)

Refinement for the opposite of abstraction in computing

Integer (computer science)

Heuristic (computer science)