Re: [Axiom-developer] Ability to guarantee a non-hanging Axiom?

[root]

Magnus (sourceforge.net/projects/magnus) uses such a technique (time slicing)
because there are no algorithms, just procedures which may never terminate,
so it time-slices solutions.

Axiom uses the type information to choose the most specific algorithm.
Types can and do override 'general purpose' algorithms when a specific
one is available.

Currently there are very few lisps that support threads although, as 
you're aware, the lisp gardeners are chatting about it.

t