In informatica e nella programmazione software, un valore è la rappresentazione di un'entità che può essere manipolata da un programma. I membri di un tipo di dato rappresentano i valori di quel tipo.[1]
Il valore di una variabile è determinato dalla mappatura corrispondente nel contesto di tipizzazione dei dati.[2] Nei linguaggi con variabili assegnabili diventa necessario distinguere tra il contenuto (r-value) e la posizione (l-value) di una variabile.[3]
Nei linguaggi dichiarativi di alto livello i valori devono essere referenzialmente trasparenti. Ciò significa che il valore risultante è indipendente dalla posizione dell'espressione necessaria per calcolare il valore. Solo i contenuti della posizione (ovvero i bit, a prescindere se valgano 1 o 0) e la loro interpretazione sono significativi.