KIDS: A Semiautomatic Program Development System

  title={KIDS: A Semiautomatic Program Development System},
  author={Douglas R. Smith},
  journal={IEEE Trans. Software Eng.},
The Kestrel Interactive Development System (KIDS) provides automated support for the development of correct and eÆcient programs from formal speci cations. The system has components for performing algorithm design, deductive inference, program simpli cation, partial evaluation, nite di erencing optimizations, data type re nement, compilation, and other development operations. Although their application is interactive, all of the KIDS operations are automatic except the algorithm design tactics… CONTINUE READING
Highly Influential
This paper has highly influenced 36 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
301 Citations
39 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 301 extracted citations


Publications referenced by this paper.
Showing 1-10 of 39 references

Structure and design of global search algorithms

  • D. R. Smith
  • Tech. Rep. KES.U.87.12, Kestrel Institute,
  • 1987
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…