sats

En sats eller programsats är inom datavetenskap den minsta fristående enheten i ett imperativt högnivåspråk. En sats kan i sin tur innehålla komponenter, exempelvis ett kommando, en tilldelning och/eller ett eller flera uttryck. Vid strukturerad programmering gör man skillnad på enkla och sammansatta satser, där de senare kan innehålla satser som komponenter. En följd av enkla satser exekveras sekventiellt, i tur och ordning, till skillnad från sammansatta satser som kan ha funktion som programflödesstyrande satser. Vid vissa programmeringsspråk, exempelvis C, skiljer man på sats och definition. En sats ger vid kompilering upphov till körbar kod. En definition definierar en identifierare, exempelvis en konstant, ett makro eller en funktion, eller datatyp för en variabel och reserverar arbetsminne för densamma. Källkoden för ett program skrivet i ett sådant språk består således av en serie definitioner och satser. Vid lågnivåspråk (maskinkods- och assemblerprogrammering) kallas den minsta fristående körbara enheten i ett program istället instruktion, vars komponenter i sin tur utgörs av operander.