Topic: for loop
Topic: variables for array bounds
ThesaHelp: references ab
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. 5559, December 1977.
Google
Quotations
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

Related Topics
Topic: for loop (18 items)
Topic: variables for array bounds (7 items)
ThesaHelp: references ab (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)
