[abc] intro

Hi Laurie,

I also agree that we should emphasise more that we start with a
declarative specification for a trace property (plus an action,
the advice), and that the compiler generates a trace monitor
from that. And yes, the paper is about the challenges of
how to make such a generated monitor efficient in time
and space. We show how to address those challenges and
make the approach feasible - our generated monitor
is always within an order of magnitude of the best hand-coded
solution.

So it seems we're thinking along the same track!

-Oege
Received on Tue Mar 14 07:09:11 2006