Kestrel Interactive Development System (KIDS)

KIDS is a REFINE prototype application for algorithm design and program analysis and optimization. It provides intuitive, high-level operations for transformational development of programs from specifications. KIDS was developed by Kestrel Institute with support from RADC, AFOSR, ONR, NSF, and ARPA. KIDS provides operations such as the following for deriving a program from a specification:

A typical scenario for using KIDS contains the following steps:

The operation is then executed and the resulting program displayed.

Example application areas in which KIDS has derived efficient implementations include: scheduling [slide 1, slide 2], sorting and searching, combinatorial design, graph theory, matching, and linear programming.