En abstraktion indkapsler, navngiver og parametriserer en samling af programdetaljer
En procedure er en abstraktion over en sekvens af kommandoer
En funktion er en abstraktion over et udtryk