[Axiom-developer] self-repair Axiom?

[William Sit]

Dear Tim:

Since you have this 30 year horizon for Axiom, would it make sense to
incorporate the idea of self-repair? See article below:

http://www.trnmag.com/Stories/2004/011404/Software_repairs_itself_on_the_go_011404.html

This may be combined with the test-suite, but is much more general. I am not
sure how the robustness of a self-repair system relates to the (mathematical)
correctness of computation. Anyone familiar with the MIT project?


William
-- 
William Sit
Department of Mathematics..............Email: address@hidden
City College of New York..........................Tel: 212-650-5179
Convent Ave at West 138th Street..................Fax: 212-862-0004
New York, NY 10031............Axiom, A Scientific Computation Sytem
USA..........................http://www.nongnu.org/axiom/index.html