I datalogi er en værdi repræsentationen af en enhed, der kan manipuleres af et program. Medlemmerne af en type er værdierne af den type. "Værdien af en variabel" er givet ved den tilsvarende kortlægning i miljøet. På sprog med tildelte variabler bliver det nødvendigt at skelne mellem r-værdien (eller indholdet) og l-værdien (eller placeringen) for en variabel. På deklarative (højt niveau) sprog skal værdierne være referenceregler. Det betyder, at den resulterende værdi er uafhængig af den placering, hvor et (sub) udtryk, der er nødvendigt for at beregne værdien, er gemt. Kun indholdet af placeringen (bitene, uanset om de er 1 eller 0) og deres fortolkning er signifikante. [Computer videnskab][Deklarativ programmering] |