Go backward to The Meaning of Identifiers Go up to Top |
J: Id -> Environment -> Denotable-value
J[[I]] = lambda e. (accessenv [[I]] e)
C[[I:=E]] = lambda e.lambda s.
return(update (J[[I]]e) (E[[E]]e s) s)
E[[I]] = lambda e.lambda s. access (J[[I]]e) s
E[[I]] = lambda e.lambda s. inLocation(J[[I]]e)
E[[@E]] = lambda e.lambda s. cases (E[[E]]e s) of
isLocation(l) -> (access l s)
[] ...end