SableCC, 7, 68-89 scalar replacement, 478, 482 scanner, see lexical analyzer scheduling, 444-456, 471 modulo, see modulo scheduling Scheme, 117, 135, 299, 332 Schizo-Jouette, 184 scope, 103-108, 123, 131, 430 lexical, see function, nested nested, 155 search tree, 14 balanced, 14 semantic action, 86-93, 101 analysis, 6, 103 value, 18, 41, 88, 89 semantics, 12, 89 semidominator, 412 sentinel, 34 Sethi-Ullman algorithm, 242 shift of view, see view shift shift-reduce conflict, see conflict side effect, 12, 298 of instruction, 188, 196 significant degree, 220, 223-233, 248 Simula, 295 Sparc, 128, 129, 132 sparse conditional constant, see constant propagation spill, 189, 219-221, 223, 226, 243, 251 cost, 217, 244 potential, 220, 224, 226, 247, 248 work list, 233-235 splitting, see edge splitting SSA, see static single-assignment form stack frame, see activation record illustration of, 119 of activation records, 118-120 pointer, 118-120, 156, 197, 198, 200 on Pentium, 188 state LR(0), 61 LR(1), 63 static link, 125, 134, 155, 156, 199 static single-assignment form, 399-402 converting from, 428-429 converting to, 402-408 data structures for, 417 dominance property, 404, 422, 429 edge-split, 409, 422 optimizations using, 417-423 size of, 437, 438 unique successor or predecessor property, 408, 422 straight-line program, 7-8 interpreter, 11 strength reduction, 385, 388-389 strictness analysis, 328-331 string literal, 150 substitution, 321, see also type substitution superscalar, 441 Symbol module, 109, 110 symbol table, see environment symbol, grammar, 40 syntax, 38, see also grammar abstract, 5, 6, 89-98 of MiniJava, 98 of straight-line programs, 8 tree, 90 concrete, 89 vs. semantics, 75