| 
|
QuoteRef: abraH12_1977
topics >
all references >
Topic:
for loop
Topic:
variables for array bounds
ThesaHelp:
references a-b
Topic:
data types in Thesa
Topic:
ordered data types
Topic:
data type as a set of operations
Group:
program control
Topic:
generalized repetition
Reference
Abramson, H., "Ordered types and a generalized for statement", SIGPLAN, 12, 12, pp. 55-59, December 1977. Google
55 ;;Quote: a data type is ordered if it includes functions pred and succ QuoteRef: abraH12_1977 ;;56 generalized for on ordered types: for x:=a to b do Q (or downto) this is same as begin atype x,bb; x:=a; bb:=b; while atype.rel (x.bb) do begin Q: x:=atype.succ (x): end: Q end: QuoteRef: abraH12_1977 ;;58 eg could traverse a linked list from front to back by for x := front to back do S
58 ;;Quote: with ordered types and generalized for statements, data structure traversal is a high level control structure for the programming language
Topic: for loop (18 items)
Topic: variables for array bounds (7 items)
ThesaHelp: references a-b (396 items)
Topic: data types in Thesa (92 items)
Topic: ordered data types (8 items)
Topic: data type as a set of operations (38 items)
Group: program control (27 topics, 547 quotes)
Topic: generalized repetition (16 items)