Presently *(Uncategorized).

From its home page:
<blockquote>
<strong>A</strong>utomatic <strong>D</strong>esign of <strong>A</strong>lgorithms <strong>T</strong>hrough <strong>E</strong>volution (ADATE) is a system for automatic programming i.e., inductive inference of algorithms.
<!-- Note: this was a passage from an old description, commented and not deleted here for archiving purpose:
ADATE is not based on genetic programming (GP) and would have been exactly the same even if GP never existed.
-->
ADATE can automatically generate non-trivial and novel algorithms. Algorithms are generated through large scale combinatorial search that employs sophisticated program transformations.
</blockquote>

The system is developed in Standard _(ML) of New Jersey (SML/NJ).

<strong>Note</strong>: parts of _(Maude) are to be used in ADATE's successor.

<ul class="links">
  <li>_("The ADATE System"|http://www-ia.hiof.no/~rolando/adate_intro.html)</li>
  <li>_("ADATE mirror at the Rutherford Appleton Laboratory "|http://alife.ccp14.ac.uk/adate/~rolando/)</li>
</ul>
