孩子们

儿童:半自动程序开发系统。描述了红隼交互式开发系统(KIDS),它为从正式规范中开发正确和高效的程序提供了自动化支持。该系统包含用于执行算法设计、演绎推理、程序简化、部分求值、有限差分优化、数据类型优化、编译和其他开发操作的组件。虽然它们的应用程序是交互式的,但是除了算法设计策略外,所有的子操作都是自动的,目前需要一些交互。使用这个系统已经衍生出几十个程序,人们相信孩子们可以被开发到这样一个点,即在日常编程中使用它变得更加经济。为了说明KIDS的用法,作者追溯了k-皇后问题的一种枚举解的算法的推导过程。KIDS设计的初始算法在SUN-4/110上需要60分钟才能找到8皇后问题实例的所有92个解。最终的优化版本在不到一秒钟内找到相同的解决方案