ADATEPresently Uncategorized, Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming (inductive inference of algorithms). ADATE can automatically generate non-trivial and novel algorithms. Algorithms are generated through large scale combinatorial search that employs sophisticated program transformations. . Citation from its home page (see below).
The system is developed in Standard ML of New Jersey (SML/NJ).
Note: parts of Maude are to be used in ADATE's successor.