currying
Stephen Weeks
sweeks@research.nj.nec.com
Thu, 25 Feb 1999 15:41:49 -0500
Here is a comparison of the dynamic counts for the syntactic Sxml
unknown calls. Both of these are with polyvariance. The difference
is that in the left hand column, curried function applications were
counted as known, while in the right hand column, they were counted as
known. As we can see, counting the curried applications as known
eliminates most of the spurious unknown calls. I conjecture that many
of the remaining ones that are caught by the flow analysis are in fact
loop invariants.
curry unknown curry known
barnes-hut 2 2
count-graphs 17,891,342 742
fft 45,440,290 0
knuth-bendix 16,654,135 16,502
lexgen 120,300,788 85,294,868
life 194,437,790 33
logic 168,178,500 17,824,510
mandelbrot 0 0
matrix-multiply 0 0
mlyacc 2,707,688 600,602
nucleic 62,783,000 12,139,400
ratio-regions 0 0
simple 5,285,980 4,832,999
tsp 2 2
vliw 7,372,074 4,670,889
zern 1,952,000 0