| 
|
QuoteRef: hehnEC_1977a
topics >
all references >
Topic:
programming by sequential implementation
ThesaHelp:
references g-h
Topic:
variable as reference to storage
Topic:
arrays
Topic:
Thesa data structures
Topic:
binding names to variables or expressions
Topic:
binding of names to objects
Topic:
aliasing
Topic:
using pointers in Thesa
Topic:
primitive data types for Thesa
Topic:
flag computer
Topic:
pointer machines
Topic:
pointers to data
Topic:
variable as reference to a value
Topic:
names independent of objects
Topic:
value as an object
Topic:
names as rigid designators
Topic:
renaming
Topic:
abstraction
Topic:
elements
Group:
function
Topic:
function vs. procedure
Topic:
case statement
Topic:
replacement as a procedure call
Topic:
parameters as argument place holders
Topic:
names as place holders
Reference
Hehner, E.C.R., "A simple view of variables and parameters", University of Toronto, no report number, to appear, 1977. Google
Other Reference
Never published?
QuoteRef: hehnEC_1977a ;;2 cell computer "A cell can hold a value and is denoted by an identifier or name
3 ;;Quote: if A is an array in a cell computer, the name A(i) must be moved whenever cell i is changed
3 ;;Quote: because of aliasing, changing one variable may accidentally change another QuoteRef: hehnEC_1977a ;;6 "we cannot allow our language designs to be led by the instruction sets of current computers
7 ;;Quote: in a flag computer, named flags are pinned to points in a space of values; compute by moving flags according to a program
7 ;;Quote: in a flag computer, pointers would be flags that are pinned to other flags; move together
9 ;;Quote: assigning a name to a value is the same as assigning a title to a person
9+;;Quote: a person may have several titles, but a title only one assignee; titles may be reassigned
9 ;;Quote: using an abstraction is same as using a basic element; but within abstraction have full power of the language
10 ;;Quote: a parameterized function is an abstraction of an array; with no parameters, abstraction of value
10 ;;Quote: routine with one parameter is abstraction of case statement; with none, abstraction of assignment
13 ;;Quote: a parameter is a constant in an abstraction whose definition occurs when the abstraction is executed
Topic: programming by sequential implementation (26 items)
ThesaHelp: references g-h (299 items)
Topic: variable as reference to storage (12 items)
Topic: arrays (57 items)
Topic: Thesa data structures (59 items)
Topic: binding names to variables or expressions (10 items)
Topic: binding of names to objects (16 items)
Topic: aliasing (28 items)
Topic: using pointers in Thesa (49 items)
Topic: primitive data types for Thesa (82 items)
Topic: flag computer (2 items)
Topic: pointer machines (17 items)
Topic: pointers to data (55 items)
Topic: variable as reference to a value (21 items)
Topic: names independent of objects (34 items)
Topic: value as an object (29 items)
Topic: names as rigid designators (43 items)
Topic: renaming (10 items)
Topic: abstraction (62 items)
Topic: elements (18 items)
Group: function (12 topics, 232 quotes)
Topic: function vs. procedure (9 items)
Topic: case statement (25 items)
Topic: replacement as a procedure call (10 items)
Topic: parameters as argument place holders (15 items)
Topic: names as place holders (4 items)