| 
|
Group: variables
topics >
computer science >
generated variable
Topic:
no need for variables
Topic:
running programs in a workspace or environment
Topic:
system-defined variables
Topic:
temporary data objects
Topic:
variable as function that accesses an object's value
Topic:
variables as objects which remember a value
Topic:
variable as reference to a value
Topic:
variable as reference to storage
Topic:
variables for array bounds
procedure and type-valued variables
Group:
parameters
Topic:
abstraction in programming language
Topic:
object-defined names
Topic:
persistent data structure
Topic:
symbolic representation
Topic:
value as an object
Summary
A variable is an abstraction of an operand. It is the same as a parameter that is neither initialized nor returned. It is a name that is temporarily bound to a value or object. A variable has a type. (cbb 1/90)
Subtopic: variable as L-value
Quote: variables in mathematics are names that do not vary; e.g., x is the same x in 3x^2+2x+17; consequence of referential transparency [»straC8_1967] Quote: a variable is an abstraction of an operand [»cbb_1973, OK] Quote: a quantity is a name with a type and a value [»handP_1981] Quote: a constant is a permanent name for a value; a variable is a temporary name [»hehnEC7_1975]
Subtopic: name as location or value
Quote: a location or L-value is an area of the store that has a content or R-value; change the R-value with an updating operation [»straC8_1967] Quote: L-values are not change by assignment; treat variables as L-values in where-clauses and .lambda.-expressions; expensive but inevitable [»straC8_1967]
Subtopic: existential variables
Quote: what is the meaning of a name in a program? In Bliss, it is a location. In Algol 68, it is a location that is automatically converted to a value. In C, it is a value. [»ritcDM_1996]
Quote: allow existential variables in specification predicates; if satisfiable then perform the right-hand-side
[»bealNC_1981]
Topic: generated variable (7 items)
Topic: no need for variables (13 items)
Topic: running programs in a workspace or environment (14 items)
Topic: system-defined variables (9 items)
Topic: temporary data objects (6 items)
Topic: variable as function that accesses an object's value (21 items)
Topic: variables as objects which remember a value (10 items)
Topic: variable as reference to a value (21 items)
Topic: variable as reference to storage (12 items)
Topic: variables for array bounds
(7 items)
Group: procedure and type-valued variables (4 topics, 95 quotes)
Group: parameters (10 topics, 145 quotes)Topic: abstraction in programming language (47 items)
Topic: object-defined names (15 items)
Topic: persistent data structure (37 items)
Topic: symbolic representation (26 items)
Topic: value as an object
(29 items)