Re: [abc] AAA keynote draft

>
> Jimple is clearly a good language for implementing such pointcuts, but if you
> just expose it in its raw form then the power users will make no effort to
> specify what their pointcut means. I think that's a recipe for disaster.

I think you have to give programmers the freedom to write any static
analysis; you need control over how the runtime properties you're after
are statically approximated.

I don't want the audience to get a bad impression of the abc project,
however.

What's the general feeling? Should I just confine the talk to the popl
paper, and replace slides 31-45 with more detail of the semantics?
That's the safe option :-)

-O
Received on Sat Oct 21 23:35:37 2006