222 van Wijngaarden, etaL{overflow} 2.1.4.3.h{overload} 4.5parallel action 10.2.4paranotion 1.1.4.2.a{perform (an alignment)} 10.3.4.1.1.ff{perform (an insertion)} 10.3.4.1.1.ee{pattern} 10.3.4.1.1.ccpermanent relationship 2.1.2.a{physical file} 10.3.1.5.cc{picture} 10.3.4.1.1.ccplain value 2.1.3.1.apoint 1.1.3.1.apragmatic remark 1.1.2{pre-elaboration} 2.1.4.1.cprecede (in the textual order) 1.1.3.2.jpredicate 1.3.2primal environ 2.2.2.aprocess 10.2.4produce 1.1.3.2.fproduction rule 1.1.3.2.bproduction tree 1.1.3.2.fprogram lin the strict language 1.1.1.b, 10.1.2{property} 2.1.1.1.b, 3.0.2protonotion 1.1.3.l.bpseudo-comment 10.1.3.Step 7publication language 9.3.a{random access} 10.3.1.3.ff{reach} 3.0.2real number 2.1.3.1.arefer to 2.1.2.e, 2.1.3.2.areference language 9.3.arelationship 2.1.2.a{replicator} 10.3.4.1.1.ddrepresentation language 9.3.arequired 1.1.4.3.bresume (an action) 2.1.4.3.groutine 2.1.3.5.a{rowing} 6same as (of scopes) 2.1.2.fscene 2.1.1.l.dscope (of a value) 2.1.1.3.ascope (of an environ) 2.1.1.3.b{scratch (a file)} 10.3.1.4.hhselect (a 'TAG' selecting a field) 2.1.3.3.aselect (a "TAG' selecting a multiple value) 2.1.3.4.kselect (a "TAG' selecting a subname) 2.1.3.3.eALGOL <strong>68</strong> Revised Reportselect (a field-selector selecting a field) 2.1.5.gselect (an index selecting a subname) 2.1.3.4.gselect (an index selecting an element) 2.1.3.4.aselect (a trim selecting a multiple value) 2.1.3.4.isemantics 1.1.1semicolon 1.1.3.1.asense of numerical analysis 2.1.3.1.e{sequential access} 10.3.1.3.ffserial action 2.1.4.2.asimple substitute 1.1.3.3.dsize (of an arithmetic value) 2.1.3.1.bsmall syntactic mark 1.1.3.l.asmaller (descendent smaller than a production tree) 1.1.3.2.gsmaller than (of arithmetic values) 2.1.2.d, 2.1.3.1.e{soft (position) } 6.1.1{sort} 6specify (a declarer specifying a mode) 4.6.2.d{spelling (of a mode)} 2.1.1.2standard environment 1.1.1, 10{standard function} 10.2{standard mode} 10.2{standard operator} 10.2{state} 10.3.1.3{staticize (a picture) } 10.3.4.1.1.ddstowed name 2.1.3.2.bstowed value 2.1.1.1.astraightening 10.3.2.3.cstrict language l.l.l.b, 1.1.3.2.e, 10.1.2{string} 8.3{strong (position)} 6.1.1structured value 2.1.3.3.asublanguage 2.2.2.csubname 2.1.2.gsubstitute consistently 1.1.3.4.esubstitute simply 1.1.3.3.dsuperlanguage 2.2.2.c{suppressed frame} 10.3.4.1.1.ccsymbol l.l.3.1.f{synchronization operation} 10.2syntax 1.1.1terminal metaproduction (of a metanotion) 1.1.3.3.cterminal production (of a notion) 1.1.3.2.fterminal production (of a production tree) 1.1.3.2.fterminate (an action) 2.1.4.3.etextual order 1.1.3.2.itimes (of arithmetic values) 2.1.3.1.e223
224 van Wijngaarden, etal.transform 10.3.4.1.2.b{transient name} 2.1.3.6.ctransitive relationship 2.1.2.a{transput declaration} 10.2{transput} 10.3traverse 10.3.2.3.dtrim 2.1.3.4.htruth value 2.1.3.1.ftypographical display feature 9.4.dundefined 1.1.4.3.aunited from (of modes) 2.1.3.6.a{uniting} 6upper bound 2.1.3.4.bvacant locale 2.1.1.l.bvalue 2.1.1.1.avariant (of a value) 4.4.2.cvariant of ALGOL <strong>68</strong> l.l.5.bversion (of an operator) 10.1.3.Step3visible 1.1.3.2.hvoid value 2.1.3.1.h{voiding} 6{weak (position)} 6.1.1{well formed} 7.4widenable to (an integer to a real number) 2.1.2.d, 2.1.3.1.e{widening} 6yield (of a scene) 2.1.2.b, 2.1.4.1.b, 2.1.5.c, d12.2. Paranotions{Denn eben, wo Begriffe fehlen,Da stellt ein Wort zur rechten Zeit sich ein.Faust,J.W. von Goethe.}Given below are short paranotions representing the notions defined inthis Report, with references to their hyper-rules.after-specification 10.3.4.10.1.ealignment 10.3.4.1.1.ealignment-code 10.3.4.1.1.falternate-CHOICE.clause 3.4.1.dassignation 5.2.1.1.abits.denotation 8.2.1.1bits-pattern 10.3.4.7.1.aboolean-choice-pattern 10.3.4.8.1.bboolean.marker 10.3.4.4.1.bboolean-pattern 10.3.4.4.1.aboundseript 5.3.2.14call 5.4.3.1.acase-clause 3.4.1.pcase-part-of-CHOICE 3.4.1.icast 5.5.1.1.acharacter-glyph 8.1.4.1.ccharacter-marker 10.3.4.6.1.bchoice.clause 3.4.1.nchooser-CHOICE-clause 3.4.1.bclosed-clause 3.1.1.acoercee 6.1.1.gcoercend 6.1.1.hcollateral-clause 3.3.1.a, d, ecollection 10.3.4.1.1.bcomplex-marker 10.3.4.5.1.bcomplex-pattern 10.3.4.5.1.aconditional-clause 3.4.1.oconformity-clause 3.4.1.qconstant 3.0.1.ddeclaration 4.1.l.adeclarative 5.4.1.1.edeclarator 4.6.1.c, d, g, h, o, sdeclarer 4.2.1.c, 4.4.1.b, 4.6.1.a, bdefinition 4.1.l.ddenotation 8.1.0.1.a, 8.1.1.l.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.adenoter 8.0.l.adeprocedured-to-FORM 6.3.1.adereferenced-to.FORM 6.2.1.adestination 5.2.1.1.bdigit-cypher 8.1.1.1.cdigit-marker 10.3.4.2.1.fdisplay 3.3.1.jdo-part 3.5.1.hdyadic-operator 5.4.2.1.eenquiry-clause 3.4.1.cestablishing-clause 3.2.1.iexponent-marker 10.3.4.3.1.eexponent-part 8.1.2.1.gexponent-specification 10.3.4.10.1.dexpression 3.0.l.bfield-selector 4.8.1.ffixed-point-numeral 8.1.1.l.bfloating-point-mould 10.3.4.3.1.cfloating.point-numeral 8.1.2.1.efor-part 3.5.1.bformat-pattern 10.3.4.9.1.aformat-text 10.3.4.1.1.aformula 5.4.2.1.dfractional-part 8.1.2.1.dframe 10.3.4.1.1.mgeneral-pattern 10.3.4.10.1.agenerator 5.2.3.1.ago-to 5.4.4.1.bhip 5.1.aidentifier-declaration 4.4.1.gidentity-declaration 4.4.1.aALGOL <strong>68</strong> Revised Reportidentity-definition 4.4.1.eidentity-relation 5.2.2.1.aidentity-relator 5.2.2.1.bIn-part-of-CHOICE 3.4.1.f, g, hin-CHOICE-clause 3.4.1.eindexer 5.3.2.1.iindicator 4.8.1.einsertion 10.3.4.1.1.dintegral-choice-pattern 10.3.4.8.1.aintegral-mould 10.3.4.2.1.bintegral-part 8.1.2.1.cintegral-pattern 10.3.4.2.1.aintervals 3.5.1.ejoined-label-definition 10.1.1.hjoined-portrait 3.3.1.bjump 5.4.4.1.alabel-definition 3.2.1.cliteral 10.3.4.1.1.iloop-clause 3.5.1.alower-bound 4.6.1.mmarker 10.3.4.1.1.nmode-declaration 4.2.1.amode-definition 4.2.1.bmonadic-operator 5.4.2.1.fnihil 5.2.4.1.aoperand 5.4.2.1.'goperation-declaration 4.5.1.aoperation-definition 4.5.1.cother-string-item 8.1.4.1.dother-PRAGMENT-item 9.2.1.dparallel-clause 3.3.1.cparameter 5.4.1.1.g, 5.4.3.1.eparameter-definition 5.4.1.1.fparticular-postlude 10.1.l.iparticular-program 10.1.1.gpattern 10.3.4.1.1.ophrase 3.0.1.apicture 10.3.4.1.1.cplain-denotation 8.1.0.l.bplan 4.5.1.b, 4.6.1.pplusminus 8.1.2.1.jpoint-marker 10.3.4.3.1.dpower-of-ten 8.1.2.1.ipraglit 10.3.4.8.1.cpragment 9.2.1.apreludes 10.1.l.b225
- Page 2 and 3:
van Wijngaarden, et al.1.1.4.2. Par
- Page 4:
Acknowledgements{Habent sua fata li
- Page 8 and 9:
14 van Wijngaarden, et al.0.3.4. Mo
- Page 10 and 11:
. . . . . . . 4 " ' 0 . . . . . . .
- Page 12 and 13:
22 van Wijngaarden, et al.• let P
- Page 14 and 15:
26 van Wijngaarden, et al.{Since so
- Page 16 and 17:
30 van Wijngaarden, et aLloperandfo
- Page 18 and 19:
34 van Wijngaarden, et al.j) WHETHE
- Page 20 and 21:
38 van Wijngaarden, et al.A protono
- Page 22 and 23:
42 van Wijngaarden, et al.d) If N i
- Page 24 and 25:
46 van Wijngaarden, et al.c) {There
- Page 26 and 27:
50 van Wijngaarden, et al.c) The ph
- Page 28 and 29:
54 van Wijngaarden, et al.3.1.1. Sy
- Page 30 and 31:
58 van Wijngaarden, et al.where (RO
- Page 32 and 33:
62 van Wijngaarden, et al.1) SOlD N
- Page 34 and 35:
66 van Wijngaarden, et al.ALGOL 68
- Page 36 and 37:
70 van Wijngaarden, et el.For each
- Page 38 and 39:
74 van Wijngaarden, et al.If 'MODE"
- Page 40 and 41:
78 J van Wijngaarden, et al.C) SECO
- Page 42 and 43:
82 van Wijngaarden, et al.ALGOL 68
- Page 44 and 45:
86 van Wijngaarden. et al.ALGOL 68
- Page 46 and 47:
90 van Wijngaarden, et al.5.4.4.1.
- Page 48 and 49:
94van Wijngaarden, et al.ALGOL 68 R
- Page 50 and 51:
98 van Wijngaarden, et al.Assignati
- Page 52 and 53:
102 van Wijngaarden, et at.{A nest,
- Page 54 and 55:
106 van Wijngaarden, et al.'HEAD's
- Page 56 and 57:
110 van Wijngaarden, et al.ALGOL 68
- Page 58 and 59:
114van Wijngaarden, et al.ALGOL 68
- Page 60 and 61:
118 van Wijngaarden, et al.ALGOL 68
- Page 62 and 63: 122 van Wijngaarden, et al.style ii
- Page 64 and 65: 126 van Wijngaarden, et al.b) The c
- Page 66 and 67: 130van Wijngaarden, et al.ALGOL 68
- Page 68 and 69: 134van Wijngaarden, et al.ALGOL 68
- Page 70 and 71: 138d)e)f)g)h)i)J)k)1)m)n)van Wijnga
- Page 72 and 73: 142 van Wijngaarden, et al.physics
- Page 74 and 75: 146 van Wijngaarden, et al.gg) On s
- Page 76 and 77: 150van Wijngaarden, et al.ALGOL 68
- Page 78 and 79: 154/van Wijngaarden, et al.ALGOL 68
- Page 80 and 81: 158 van Wijngaarden, et el.fi;ref p
- Page 82 and 83: 162van Wijngaarden, et al.ALGOL 68
- Page 84 and 85: 166van Wijngaarden, et al.ALGOL 68
- Page 86 and 87: 170/van Wijngaarden, etal.ALGOL 68
- Page 88 and 89: 174J)K)L)M)N)O)P)a)b)c)d)e)van Wijn
- Page 90 and 91: 178/van Wijngaarden, et al.ALGOL 68
- Page 92 and 93: 182 van Wijngaarden, et al.• let
- Page 94 and 95: 186van Wijngaarden, et al./ALGOL 68
- Page 96 and 97: 190 van Wijngaarden, etal.composed
- Page 98 and 99: 194h)i)J)van Wijngaa(rden, et al.pr
- Page 100 and 101: 198 van Wijngaarden, et al.¢ strin
- Page 102 and 103: 202tvan Wijngaarden, et al.ALGOL 68
- Page 104 and 105: 206 van Wijngaa~den. et al.10.3.6.1
- Page 106 and 107: 210 van Wijngaarden, et al.!ALGOL 6
- Page 108 and 109: 214 van Wijngaarden, et al.inoperat
- Page 110 and 111: 218fvan Wijngaarden, et al.¢ move
- Page 114 and 115: 226 van Wijngaarden, et al.ALGOL 68
- Page 116 and 117: 230max int 10.2.1.cmax real 10.2.l.
- Page 118 and 119: 234 van Wijngaarden, et al.ALGOL 68