Index  259  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 