Werking van een programma ligt vast in procedures die aangeven welke acties worden ondernomen.

Kenmerk van een programmeertaal waarbij de volgorde van de uitvoering van instructies niet wordt aangegeven.