[E-Lang] E FAQ

[Mark S. Miller]

[Forwarded with permission.  --MarkM]

At 10:33 PM 10/14/2001 Sunday, David Wagner wrote:
>P.P.S.  By the way, are you familiar with "security-passing style",
>from Dan Wallach's analysis of stack introspection?  Since you
>mentioned interest in building a small language for study, you might
>find it an interesting point.  The idea is that you can transform
>any stack-introspection-based program into an equivalent program
>where authority is passed explicitly from caller to callee using extra
>parameters, rather than living in an activation record.  This separates
>authority from references, and I'm not sure I'd want to program directly
>in security-passing style, but maybe it is worth knowing about.

Looks like it might be interesting.  I'll try to find the time to take a 
look.  In the meantime, you may want to announce it on e-lang.

Btw, would you mind if I forwarded our recent correspondence to e-lang?  I 
think it was interesting.


        Cheers,
        --MarkM