program (Programmeringssprog)
sprog. Programmeringssprog, der ikke eksplicit specificerer nogen rækkefølge af beregningerne, men snarere er en statisk beskrivelse af, hvad der skal beregnes, kaldes for deklarative sprog. Sådanne sprog befinder sig på et højere abstraktionsniveau end de imperative sprog. De skjuler computerens