Map
Index
Random
Help
th

QuoteRef: abraH12_1977

topics > all references > ThesaHelp: references a-b



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

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 up

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)

Collected barberCB 1980
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.