Er zijn 2 definities.

Kenmerk van een programmataal of ontwerp, waarmee alleen gezegd wordt hoe de vork feitelijk in de steel zit, niet wat ermee moet worden gedaan.

In een programma, het specificeren van het gegevenstype van een variabele of functie.