label, 131 lambda calculus, 430 lambda-calculus, 331 landing pad, 435 lattice, 420 lazy evaluation, 321-327, 435 leaf function, 122 left-associative operator, 73, 74 left-factoring, 53 left-recursion, 51 Lengauer-Tarjan algorithm, 410-416, 434, see also dominator Lex, 6, 33 lexical analyzer, 6, 16-37, 93 lexical scope, see function, nested Lisp, 348 live range, 203, 213 live-in, 205 live-out, 205 liveness, 6, 203-218, 236, 358, 360, 363, 365, 367, 368 in SSA form, 429 of heap data, 257 LL(k), see parser, LL(k) local variable, 116 locality of reference, see cache lookahead, 37 loop, 376 header, 376, 381-382 inner, 381 interchange, 476-477 invariant, 314, 326, 382, 384-389, 398 natural, 381-382 nested, 382 postbody, see postbody node scheduling, 444-456 unrolling, 395, 444, 474 LR(k), see parser, LR(k) l-value, 145-147