There are tools to develop the "call graph" of C/C++ code. Mel Gorman
used one to diagram the Linux kernel. See
http://www.skynet.ie/~mel/projects/codeviz/
for the details. I have no idea whether this would work for any of the
languages Axiom uses, since I don't know the syntax or semantics of
This might be relevant to the ongoing discussion about generating dot
graphs of the Axiom source code. I suspect it would be more work to
make the jump to the Spad code but Lisp is probably up to it.
Gary King recently released a set of common lisp libraries (I believe
under the MIT Style License