Go backward to Command Abstracts Go up to Top Go forward to Expression Abstracts

Command Abstracts

Static scoping.

Proc = Store -> Poststore_{_|_}
Denotable-value = Natlocn + Array + Record +
    Proc

D[[proc I=C ]] = lambda e. lambda s.
    ((updateenv [[I]] inProc(C[[C]]e) e), (return s))
C[[I]] = lambda e. lambda s.
    cases (accessenv [[I]] e) of
        isNatlocn(l) -> (signalerr s)
        ...
        [] isProc(q) -> (q s)
    end

C[[C]]e is bound to [[I]] in environment, store is supplied at invocation-time.