What is a 'value' in the context of programming?

Question

Can you suggest a precise definition for a 'value' within the context of programming without reference to specific encoding techniques or particular languages or architectures?

_{[Previous question text, for discussion reference: "What is value in programming? How to define this word precisely?"]}

Answer 1

I just happened to be glancing through Pierce's "Types and Programming Languages" - he slips a reasonably precise definition of "value" in a programming context into the text:

[...] defines a subset of terms, called values, that are possible final results of evaluation

This seems like a rather tidy definition - i.e., we take the set of all possible terms, and the ones that can possibly be left over after all evaluation has taken place are values.