Revised report on the algorithmic language Algol-68

SectionC2 van Wijngaarden, et al.

terminal production (of a production tree) 1.1.3.2.f terminate (an action) 2.1.4.3.e

textual order 1.1.3.2.i

times (of arithmetic values) 2.1.3.1.e transform 10.3.4.1.2.b

ftransient nameg 2.1.3.6.c transitive relationship 2.1.2.a ftransput declarationg 10.2 ftransputg 10.3

traverse 10.3.2.3.d trim 2.1.3.4.h truth value 2.1.3.1.f

typographical display feature 9.4.d unde ned 1.1.4.3.a

united from (of modes) 2.1.3.6.a funitingg 6

upper bound 2.1.3.4.b vacant locale 2.1.1.1.b value 2.1.1.1.a

variant (of a value) 4.4.2.c variant of ALGOL 68 1.1.5.b

version (of an operator) 10.1.3.Step 3 visible 1.1.3.2.h

void value 2.1.3.1.h fvoidingg 6

fweak (position)g 6.1.1 fwell formedg 7.4

widenable to (an integer to a real number) 2.1.2.d, 2.1.3.1.e fwideningg 6

yield (of a scene) 2.1.2.b, 2.1.4.1.b, 2.1.5.c, d

f Denn eben, wo Begri e fehlen,

Da stellt ein Wort zur rechten Zeit sich ein.

Faust, J.W. von Goethe.g

241

Section ALGOL 68 Revised Report C2

12.2. Paranotions

Given below are short paranotions representing the notions de ned in this Report, with references to their hyper-rules.

after-speci cation 10.3.4.10.1.c alignment 10.3.4.1.1.e alignment-code 10.3.4.1.1.f alternate-CHOICE-clause 3.4.1.d assignation 5.2.1.1.a bits-denotation 8.2.1.l bits-pattern 10.3.4.7.1.a

boolean-choice-pattern 10.3.4.8.1.b boolean-marker 10.3.4.4.1.b boolean-pattern 10.3.4.4.1.a boundscript 5.3.2.1.j

call 5.4.3.1.a case-clause 3.4.1.p

case-part-of-CHOICE 3.4.1.i cast 5.5.1.1.a character-glyph 8.1.4.1.c character-marker 10.3.4.6.1.b choice-clause 3.4.1.n

chooser-CHOICE-clause 3.4.1.b closed-clause 3.1.1.a

coercee 6.1.1.g coercend 6.1.1.h

collateral-clause 3.3.1.a, d, e collection 10.3.4.1.1.b complex-marker 10.3.4.5.1.b complex-pattern 10.3.4.5.1.a conditional-clause 3.4.1.o conformity-clause 3.4.1.q constant 3.0.1.d

declaration 4.1.1.a declarative 5.4.1.1.e

declarator 4.6.1.c, d, g, h, o, s declarer 4.2.1.c, 4.4.1.b, 4.6.1.a, b de nition 4.1.1.d

242

SectionC2 van Wijngaarden, et al.

denotation 8.1.0.1.a, 8.1.1.1.a, 8.1.2.1.a, 8.1.3.1.a, 8.1.4.1.a, 8.1.5.1.a, 8.2.1.a, b, c, 8.3.1.a

denoter 8.0.1.a deprocedured-to-FORM 6.3.1.a dereferenced-to-FORM 6.2.1.a destination 5.2.1.1.b digit-cypher 8.1.1.1.c digit-marker 10.3.4.2.1.f display 3.3.1.j

do-part 3.5.1.h dyadic-operator 5.4.2.1.e enquiry-clause 3.4.1.c establishing-clause 3.2.1.i exponent-marker 10.3.4.3.1.e exponent-part 8.1.2.1.g

exponent-speci cation 10.3.4.10.1.d expression 3.0.1.b

eld-selector 4.8.1.fxed-point-numeral 8.1.1.1.boating-point-mould 10.3.4.3.1.coating-point-numeral 8.1.2.1.e for-part 3.5.1.b

format-pattern 10.3.4.9.1.a format-text 10.3.4.1.1.a formula 5.4.2.1.d fractional-part 8.1.2.1.d frame 10.3.4.1.1.m general-pattern 10.3.4.10.1.a generator 5.2.3.1.a

go-to 5.4.4.1.b hip 5.1.a

identi er-declaration 4.4.1.g identity-declaration 4.4.1.a identity-de nition 4.4.1.c identity-relator 5.2.2.1.b identityjelation 5.2.2.1.a in-CHOICE-clause 3.4.1.e in-part-of-CHOICE 3.4.1.f, g, h indexer 5.3.2.1.i

243

Section ALGOL 68 Revised Report C2

indicator 4.8.1.e insertion 10.3.4.1.1.d

integral-choice-pattern 10.3.4.8.1.a integral-mould 10.3.4.2.1.b integral-part 8.1.2.1.c integral-pattern 10.3.4.2.1.a intervals 3.5.1.c joined-label-de nition 10.1.1.h joined-portrait 3.3.1.b

jump 5.4.4.1.a label-de nition 3.2.1.c literal 10.3.4.1.1.i loop-clause 3.5.1.a lower-bound 4.6.1.m marker 10.3.4.1.1.n mode-declaration 4.2.1.a mode-de nition 4.2.1.b monadic-operator 5.4.2.1.f nihil 5.2.4.1.a

operand 5.4.2.1.g operation-declaration 4.5.1.a operation-de nition 4.5.1.c other-PRAGMENT-item 9.2.1.d other-string-item 8.1.4.1.d parallel-clause 3.3.1.c parameter 5.4.1.1.g, 5.4.3.1.c parameter-de nition 5.4.1.1.f particular-postlude 10.1.1.i particular-program 10.1.1.g pattern 10.3.4.1.1.o

phrase 3.0.1.a picture 10.3.4.1.1.c

plain-denotation 8.1.0.1.b plan 4.5.1.b, 4.6.1.p plusminus 8.1.2.1.j point-marker 10.3.4.3.1.d powerof-ten 8.1.2.1.i praglit 10.3.4.8.1.c pragment 9.2.1.a preludes 10.1.1.b

244

SectionC2 van Wijngaarden, et al.

priority-declaration 4.3.1.a priority-de nition 4.3.1.b program 2.2.1.a program-text 10.1.1.a radix-digit 8.2.1.m radix-marker 10.3.4.7.1.c range 3.0.1.f

real-pattern 10.3.4.3.1.a repeating-part 3.5.1.e replicator 10.3.4.1.1.g revised-tower-bound 5.3.2.1.g routine-declarer 4.4.1.b routine-plan 4.5.1.b routine-text 5.4.1.1a, b row-ROWS-rower 4.6.1.i row-display 3.3.1.i

row-rower 4.6.1.j, k, l rowed-toFORM 6.6.1.a sample-generator 5.2.3.1.b selection 5.3.1.1.a serial-clause 3.2.1.a

series 3.2.1.b sign-marker 10.3.4.2.1.e sign-mould 10.3.4.2.1.c skip 5.5.2.1.a

slice 5.3.2.1.a softly-deprocedured-to-FORM 6.3.1.b source 5.2.1.1.c

source-for-MODINE 4.4.1.d speci cation 3.4.1.j, k stagnant-part 8.1.2.1.f statement 3.0.1.c

string 8.3.1.b string-denotation 8.3.1.c string-item 8.1.4.1.b string-pattern 10.3.4.6.1.a structure-display 3.3.1.h subscript 5.3.2.1.e suppression 10.3.4.1.1.l symbol 9.1.1.h

245

Section ALGOL 68 Revised Report C2

system-task 10.1.1.e tasks l0.1.1.d>

times-ten-to-the-power-choice 8.1.2.1.h token 9.1.1.g

trimmer 5.3.2.1.f trimscript 5.3.2.1.h

unchanged-from-FORM 6.1.1.f unit 3.2.1.d

unitary-clause 3.2.1.h united-to-FORM 6.4.1.a unsuppressible-literal 10.3.4.1.1.i unsuppressible-replicator 10.3.4.1.1.h unsuppressible-suppression 10.3.4.1.1.l upper-bound 4.6.1.n

user-task 10.1.1.f vacuum 3.3.1.k variable 3.0.1.e

variable-declaration 4.4.1.e variable-de nition 4.4.1.f variable-point-mould 10.3.4.3.1.b variable-point-numeral 8.1.2.1.b voided-to-FORM 6.7.1.a, b while-do-part 3.5.1.f

while-part 3.5.1.g widened-to-FORM 6.5.1.a, b, c, d width-speci cation 10.3.4.10.1.b zero-marker 10.3.4.2.1.d

ADIC-operand 5.4.2.1.c

CHOICE-again 9.1.1.c

CHOICE-clause 3.4.1.a

CHOICEnish 9.1.1.e CHOICE-in 9.1.1.b CHOICE-start 9.1.1.a CHOICE-out 9.1.1.d

COMMON-joined-de nition 4.1.1.b, c DYADIC-formula 5.4.2.1.a EXTERNAL-prelude 10.1.1.c FIELDS-de nition-of-FIELD 4.6.1.f FIELDS-portrait 3.3.1.f, g FIELDS-portrayer-of-FIELDS1 4.6.1.e

246

FORM-coercee 6.1.1.a, b, c, d, e

FROBYT-part 3.5.1.d

INDICATOR 4.8.1.a, b MOIDS-joined-declarer 4.6.1.t, u MONADIC-formula 5.4.2.1.b NOTETY-pack 1.3.3.d NOTION-bracket 1.3.3.e NOTION-list 1.3.3.c NOTION-sequence 1.3.3.b NOTION-token 9.1.1.f NOTION-option 1.3.3.a PARAMETERS 5.4.3.1.b

PARAMETERS-joined-declarer 4.6.1.q, r PRAGMENT 9.2.1.b

PRAGMENT-item 9.2.1.c QUALITY-FIELDS- eld-selector 4.8.1.c,

d

RADIX 8.2.1.d, e, f, g RADIX-digit 8.2.1.h, i, j, k RADIX-frame 10.3.4.7.1.b

ROWS-leaving-ROWSETY-indexer

5.3.2.1.b, c, d

TALLY-declarer 4.2.1.c THING1-or-alternatively-THING2 1.3.3.f UNSUPPRESSETY-COMARK-frame

10.3.4.1.1.k

UNSUPPRESSETY-MARK-frame

10.3.4.1.1.j

UNSUPPRESSETY-literal 10.3.4.1.1.i UNSUPPRESSETY-suppression 10.3.4.1.1.l

12.3. Predicates

Given below are abbreviated forms of the predicates de ned in this Report.

and 1.3.1.c, ebalances 3.2.1.f, gbegins with 1.3.1.h, i, j

coincides with 1.3.1.k, l

contains 1.3.1.m, n

247

Section ALGOL 68 Revised Report C4

counts 4.3.1.c, d

de exes to 4.7.1.a, b, c, d, e

deprefs to rm 7.1.1.ndevelops from 7.3.1.c

equivalent 7.3.1.a, b, d, e, f, g, h, i, j, k, qfalse 1.3.1.b

rmly related 7.1.1.kidenti ed in 7.2.1.aincestuous 4.7.1.f

independent 7.1.1.a, b, c, dis 1.3.1.g

is derived from 5.3.1.1.b, c

is rm 7.1.1.l, mlike 5.4.1.1.c, d

may follow 3.4.1.mnumber equals 7.3.1.o, p

or 1.3.1.d, f

ravels to 4.7.1.g

related 7.1.1.e, f, g, h, i, j

resides in 7.2.1.b, c

shields 7.4.1.a, b, c, dsubset or 7.3.1.l, m, ntrue 1.3.1.a

unites to 6.4.1.b

12.4. Index to the standard prelude

<10.2.3.0.a, 10.2.3.3.a, 10.2.3.5.c, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.9.a, 10.2.3.10.i, g, h

10.2.3.0.a, 10.2.3.3.b, 10.2.3.4.b, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.8.e, 10.2.3.9.a, 10.2.3.10.b, g, h

+ 10.2.3.0.a, 10.2.3.3.i, j, 10.2.3.4.i, j, 10.2.3.5.a, b, 10.2.3.6.b, 10.2.3.7.j, k, p, q, r, s, 10.2.3.10.i, j, k

+:= 10.2.3.0.a, 10.2.3.11.d, c, f, o, p, q, s +=: 10.2.3.0.a, 10.2.3.11.r, t

+ 10.2.3.0.a, 10.2.3.3.u, 10.2.3.4.s, 10.2.3.5.e, f & 10.2.3.0.a, 10.2.3.2.b, 10.2.3.8.d

^ 10.2.3.0.a, 10.2.3.2.b, 10.2.3.8.d a 10.2.3.0.a, 10.2.3.2.b, 10.2.3.8.d

u 10.2.3.0.a, 10.2.3.8.k, 10.2.3.9.a, 10.2.3.9.b, 10.2.3.0.a, 10.2.3.1.c, e

248

# 10.2.3.0.a, 10.2.3.8.h, 10.2.3.1.b, d, 10.2.3.4.r

10.2.3.0.a, 10.2.3.3.e, 10.2.3.4.e, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.8.f, 10.2.3.9.a, 10.2.3.10.e, g, h

10.2.3.0.a, 10.2.3.3.b, 10.2.3.4.b, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.8.e, 10.2.3.9.a, 10.2.3.10.b, g, h

/= 10.2.3.0.a, 10.2.3.2.e, 10.2.3.3.d, 10.2.3.4.d, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.7.g, u, v, w, x, 10.2.3.8.b, 10.2.3.9.a, 10.2.3.10.d, g, h

_ 10.2.3.0.a, 10.2.3.2.a, 10.2.3.8.c

i 10.2.3.0.a, 10.2.3.3.u, 10.2.3.4.s, 10.2.3.5.e, f % 10.2.3.0.a, 10.2.3.3.m

% 10.2.3.0.a, 10.2.3.3.u, 10.2.3.4.s, 10.2.3.5.e, f % := 10.2.3.0.a, 10.2.3.11.k

% 10.2.3.0.a, 10.2.3.3.u, 10.2.3.4.s, 10.2.3.5.e, f % := 10.2.3.0.a, 10.2.3.11.k

%:= 10.2.3.0.a, 10.2.3.11.j

10.2.3.0.a, 10.2.3.3.l, 10.2.3.4.l, 10.2.3.5.a, b, 10.2.3.7.1, p, q, r, s, 10.2.3.10.l, m, n, o

:= 10.2.3.0.a, 10.2.3.11.g, h, i, n, o, p, u, 10.2.3.2.c, 10.2.3.8.m " 10.2.3.0.a, 10.2.3.3.p, 10.2.3.5.g, 10.2.3.7.t, 10.2.3.8.g

10.2.3.0.a, 10.2.3.3.l, 10.2.3.4.l, 10.2.3.5.a, b, 10.2.3.7.1, p, q, r, s, 10.2.3.10.1, m, n, o

x 10.2.3.0.a, 10.2.3.3.u, 10.2.3.4.s, 10.2.3.5.e, f10.2.3.0.a, 10.2.3.3.p, 10.2.3.5.g, 10.2.3.7.t:= 10.2.3.0.a, 10.2.3.11.g, h, i, n, o, p, u

: 10.2.3.2.c, 10.2.3.8.m

- 10.2.3.0.a, 10.2.3.3.g, h, 10.2.3.4.g, h, 10.2.3.5.a, b, 10.2.3.7.h, i, p, q, r, s -:= 10.2.3.0.a, 10.2.3.11.a, b, c, n, o, p

/ 10.2.3.0.a, 10.2.3.3.o, 10.2.3.4.m, 10.2.3.5.a, b, 10.2.3.7.m, p, q, r, s /:= 10.2.3.0.a, 10.2.3.11.1, m, n, o, p

/= 10.2.3.0.a, 10.2.3.2.e, 10.2.3.3.d, 10.2.3.4.d, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.7.g, u, v, w, x, 10.2.3.8.b, 10.2.3.9.a, 10.2.3.10.d, g, h

% 10.2.3.0.a, 10.2.3.3.m % 10.2.3.0.a, 10.2.3.3.n % := 10.2.3.0.a, 10.2.3.11.k % 10.2.3.0.a, 10.2.3.3.n % := 10.2.3.0.a, 10.2.3.11.k %:= 10.2.3.0.a, 10.2.3.11.j

>10.2.3.0.a, 10.2.3.3.f, 10.2.3.4.f, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.9.a, 10.2.3.10.f, g, h

249

Section ALGOL 68 Revised Report C4

>= 10.2.3.0.a, 10.2.3.3.e, 10.2.3.4.e, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.8.f, 10.2.3.9.a, 10.2.3.10.e, g, h

= 10.2.3.0.a, 10.2.3.2.d, 10.2.3.3.c, 10.2.3.4.c, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.7.f, u, v, w, x, 10.2.3.8.a, 10.2.3.9.a, 10.2.3.10.c, g, h

abs 10.2.1.n, 10.2.3.2.f, 10.2.3.3.k, 10.2.3.4.k, 10.2.3.7.c, 10.2.3.8.i and 10.2.3.0.a, 10.2.3.2.b, 10.2.3.8.d

arg 10.2.3.7.d bin 10.2.3.8.j bits 10.2.2.g bool 10.2.2.b bytes 10.2.2.h

channel 10.3.1.2.a char 10.2.2.e compl 10.2.2.f conj 10.2.3.7.e

divab 10.2.3.0.a, 10.2.3.11.1, m, n, o, p down 10.2.3.0.a, 10.2.3.8.h, 10.2.4.d elem 10.2.3.0.a, 10.2.3.8.k, 10.2.3.9.b entier 10.2.3.4.r

eq 10.2.3.0.a, 10.2.3.2.d, 10.2.3.3.c, 10.2.3.4.c, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.7.f, u, v, w, x, 10.2.3.8.a, 10.2.3.9.a, 10.2.3.10.c, g, h

le 10.3.1.3.a format 10.3.5.a

ge 10.2.3.0.a, 10.2.3.3.e, 10.2.3.4.e, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.8.f, 10.2.3.9.a, 10.2.3.10.e, g, h

gt 10.2.3.0.a, 10.2.3.3.f, 10.2.3.4.f, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.9.a, 10.2.3.10.f, g, h

i 10.2.3.0.a, 10.2.3.3.u, 10.2.3.4.s, 10.2.3.5.e, f im 10.2.3.7.b

int 10.2.2.c

le 10.2.3.0.a, 10.2.3.3.b, 10.2.3.4.b, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.8.e, 10.2.3.9.a, 10.2.3.10.b, g, h

leng 10.2.3.3.q, 10.2.3.4.n, 10.2.3.7.n, 10.2.3.8.n, 10.2.3.9.d level 10.2.4.b, c

lt 10.2.3.0.a, 10.2.3.3.a, 10.2.3.4.a, 10.2.3.5.c, d, 10.2.3.6.a, 10.2.3.9.a, 10.2.3.10.a, g, h

lwb 10.2.3.0.a, 10.2.3.1.b, d

minusab 10.2.3.0.a, 10.2.3.11.a, b, c, n, o, p mod 10.2.3.0.a, 10.2.3.3.n

modab 10.2.3.0.a, 10.2.3.11.k

250