``KIDS [Kestrel Interactive Development System] is basically a program transformation system -- one applies a sequence of consistency-preserving transformations to an initial specification and achieves a correct and hopefully efficient program.''[Smith, Douglas R., ``KIDS: A Semiautomatic Program Development System'', IEEE Trans. on Software Engineering, vol. 16, no. 9, Sept. 1990, pp. 1024-1043.]

Program development in KIDS follows these steps:

• Develop a domain theory:
  • types

  • functions

  • distributive laws

  • monotonicity laws
• Create a specification of the program.

• Apply a design tactic (divide and conquer, global search, local search).

• Apply optimization

• Data type refinement

• Compile to executable form

Contents    Page-10    Prev    Next    Page+10    Index