Value (computer science)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Value" computer science – news · newspapers · books · scholar · JSTOR (August 2009) (Learn how and when to remove this message)

In computer science and software programming, a value is the representation of some entity that can be manipulated by a program. The members of a type are the values of that type.^[1]

The "value of a variable" is given by the corresponding mapping in the environment.^[2] In languages with assignable variables, it becomes necessary to distinguish between the r-value (or contents) and the l-value (or location) of a variable.^[3]

In declarative (high-level) languages, values have to be referentially transparent. This means that the resulting value is independent of the location of the expression needed to compute the value. Only the contents of the location (the bits, whether they are 1 or 0) and their interpretation are significant.^{[citation needed]}