[abc] spec formalisms section

I've update Section 3.3, but not yet with Julian's new analysis
for determinining whether negative bindings can be dispensed with -
that needs to be worked into the first half.

Regarding the second half of the section, in particular the
LUInMeth benchmark:

The *official* version is

    RedThisJPCflowLockTraceMatch.aj

this is the tracematch number that should appear in Table 7. Accordingly

    ReducedLockAspect.aj

is what should be used for the AspectJ column in this row.

-----------------------------------------------------

For Section 3.3, I'd like to have execution times and memory consumption
over time for these four and no others:

RedThisJPCflowLockTraceMatch.aj
      (as above)
RedThisJPCflowLockTraceMatch.aj with thisJPIdentity
      (two versions, just take the best)
ReducedLockTraceMatch.aj
LockTraceMatch.aj
      (i.e. non-reduced)

-----------------------------------------------------
For the future work section, it would be nice to speculate
on the possibility of automatically achieving the effect
of using "contains", as described in Section 3.3.
Received on Sun Mar 12 14:49:24 2006