KIDS: A Semiautomatic Program Development System

@article{Smith1990KIDSAS,
  title={KIDS: A Semiautomatic Program Development System},
  author={Douglas R. Smith},
  journal={IEEE Trans. Software Eng.},
  year={1990},
  volume={16},
  pages={1024-1043}
}
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

Citations

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

References

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…