Computer Programming Value

A Computer Programming Value is an Entity Representation that can be manipulated by a computer program.

• AKA: Value (Computer Science).
  • …
• Example(s):
  • Computer Programming Literal,
  • Computer Programming Variable,
  • Computer Programming Function.
  • …
• Counter-Example(s):
  • Mathematical Function,
  • Mathematical Logic Literal,
  • Random Variable.
• See: Referential Transparency, Type (Computer Science), Map (Computer Science), Environment (Type Theory), Assignable Variable, Declarative Programming.

---

---

References

2020

• (Wikipedia, 2020) ⇒ https://en.wikipedia.org/wiki/Value_(computer_science) Retrieved:2020-2-23.
  • In computer science, 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. The "value of a variable" is given by the corresponding mapping in the environment. 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. In declarative (high-level) languages, values have to be referentially transparent. This means that the resulting value is independent of the location in which a (sub-)expression needed to compute the value is stored. Only the contents of the location (the bits, whether they are 1 or 0) and their interpretation are significant.

---