To: wand, wupc
Subject: Pengcheng's investigation

Hi Mitch:

I asked Pengcheng about your meeting and here is what I understood:

We have three pieces of technology in the same space:

1. Our paper with algorithms first and search.

2. The AP library with the traversal graph algorithm.

3. The paper with Boaz which is the theory behind the AP library
   with the traversal graph and the traversal method algorithm.

I hope the following is true:

The traversal graph algorithm in the AP library corresponds 
to the first algorithm applied to all pairs of classes.

The traversal method algorithm correponds to the search algorithm.

It is interesting to notice that both the 
the traversal graph and the traversal method algorithm have the flavor
of a cross-product of graphs:

the traversal graph: product of class graph and strategy graph
the traversal method algorithm: product of traversal graph and object graph

The goal of Pengcheng's investigation is to confirm or
refute those hopes? And to compare your Scheme implementation with
the AP library?

-- Karl