[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] self-repair Axiom?
From: |
William Sit |
Subject: |
[Axiom-developer] self-repair Axiom? |
Date: |
Fri, 23 Jan 2004 02:35:34 -0500 |
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
- [Axiom-developer] self-repair Axiom?,
William Sit <=