next up previous contents
Next: List Up: Evaluation Rules Previous: Literal   Contents



Eval( Id , C) = _lookup(C, id)

As defined in Section A.3.4.5, _lookup(b, nm) is the value associated with the non-empty name nm in the binding b. The evaluation halts with a runtime error if nm is empty or is not in b's domain.

Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu