Topic: variables for array bounds

topics > computer science > data > Group: variables

named constants and expressions
range checking
range data type


Array bound variables remove representation dependent constants by labeling an array's index range bounds. Procedures using array bound variables are applicable to arrays of arbitrary size. If the index range is labeled, the label specifies an index set in 'for-all loops'. (cbb 5/80)
Subtopic: array bound variables up

Quote: declare BOUND variables for the bounds of an array parameter; use them in index operations [»knobB4_1976]
Quote: use the qualifier 'Lim' to indicate one beyond the last element of an array; better than 'Last'; 'Lim-First' is the number of elements [»simoC8_1991]
QuoteRef: reynJC5_1970 ;;310 atoms LL and UL such that in indexing function f(LL) is low bound
QuoteRef: wirtN5_1967 ;;24 "automatic" range checking by explicit named ranges eg range R := 1:n real array a (R), for i:= R step 1 do ...

Subtopic: list bounds up

QuoteRef: abraH12_1977 ;;58 eg could traverse a linked list from front to back by for x := front to back do S

Subtopic: open array parameters up

Quote: Modula-3 has fixed and open arrays; the size of an open array is determined when allocated or bound [»cardL_1991]
Quote: an open array is only used for formal parameters, the referent of a reference type, the element type of another open array, or the type of a literal array

Related Topics up

Topic: arrays (58 items)
Topic: named constants and expressions (21 items)
Topic: range checking (20 items)
Topic: range data type
(17 items)

Updated barberCB 3/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.