Function (continued) identification, EBNF for, 183, 216,226 predeclared, 16,17,18,19, 20, 122, 192-194,211 recursive, 8, 122, 183 sample program using, 123, 124--125,126 Functional parameters, 107, 110, 122, 124, 146, 186, 188 sample program using, 124--125 specification, EBNF for, 186, 216,226 

Generation mode, for file, 159 Get, 88, 128, 190, 205, 211 Global scope, 5, 27, 105 Goto statement, 47-49,171-172 and activations, 172, 179 caution about, 49 EBNF for, 171,217,226 and expressions, 164 and statement sequences, 171 syntax diagram for, 47 Graph, program for, 40-41, 59-60 

Harmonic series, Nth partial sum, program for, 36, 37, 38 Heading, see Program headings, Procedures, Functions Hoare, C.A.R., 81, 82, 202, 203 Host type, of subrange type, 53, 154 

Identified variable, 28, 94, 159, 164, 194 EBNF for, 163,219,226 syntax diagram for, 95 Identifier definition of, 10, 148 EBNF for, 149,220,227 examples of, 11, 149 list, EBNF for, 3, 154, 219, 227 scope of, 5, 6, 27, 149, 178-179 standard, 12, 211 syntax diagram for, II, 230 

Identifying values, of pointer type, 95,159,164,194 If statement, 43-46, 146, 172 EBNF for, 172, 217, 227 syntax diagram for, 43 Implementation of Boolean expressions, 32 defined, 148 definition, of Char type, 18 dependent, 148 features, and ISO standard, 20 I operand evaluation, 166 order of accessing variable or result, 170 reset or rewrite of input or output, 200 of end-of-line markers, 93 of files, 87 of pointers, 94 of sets, 83 of subrange variables, 54 Implication, operation, 17 In, operator, 32, 78,169,208 Inclusion, see Set inclusion Index EBNFfor, 162,219,227 type of array, 56, 112, 144, 156, 189 EBNF for, 156,218,227 specification EBNFfor, 186,216,227 syntax diagram for, 112,235 Indexed variables, 162 EBNF for, 162, 219, 227 Inequality, see Set inequality, Relational operators Infix notation, sample program to convert, 116-117 Inflation, sample program for, 2 InitialValue, EBNF for, 175,217,227 Inorder, 117, 119, 120 Input devices, 127-128, 194 file, 25, 92, 128, 193, 194, 211 in program parameter list, 199 Inspection mode, for file, 159 

