RE: [abc] Concrete operational semantics

> As I understand it, none of the existing benchmarks has that property.

It seems that for all benchmarks contained in the DaCapo benchmark
suites, we are able to remove all (!) of the shadows for the
SafeEnumeration tracematch. The analysis never took longer than a few
minutes, always spending more than 90% in constructing call graph and
points-to information. For other patterns, results will be worse, but
still I think this is a fairly good result.

So I would not worry too much about the benchmarks, although in general
you are of course right: It's all worth nothing if there is no benefit
from it.

Eric
Received on Fri Oct 06 20:24:59 2006