软件搜索-zbMATH Open

孩子们

swMATH编号：	15441
软件作者：	D.R.史密斯
描述：	KIDS：一个半自动的程序开发系统。描述了Kestrel交互式开发系统（KIDS），该系统为根据正式规范开发正确高效的程序提供自动化支持。该系统具有执行算法设计、演绎推理、程序简化、部分求值、有限差分优化、数据类型细化、编译和其他开发操作的组件。尽管它们的应用是交互式的，但除了算法设计策略外，所有KIDS操作都是自动的，目前需要一些交互。使用该系统已经衍生出数十个程序，人们相信，KIDS可以开发到可以经济地用于常规编程的程度。为了说明KIDS的使用，作者追溯了一种枚举k皇后问题解的算法的推导过程。KIDS设计的初始算法在SUN-4/110上大约需要60分钟才能找到8皇后问题实例的所有92个解决方案。最终优化版本在不到一秒钟的时间内找到相同的解决方案
主页：	http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=58788
相关软件：	枣灰蝶属;ALISA公司;TAMPR公司;莫德;西洋陆军棋;ATERM公司;ELAN公司;自动化;ANTLR公司;OBJ3型;哈斯克尔;CDuce公司;TXL（热膨胀）;GHC公司;精灵;Nuprl公司;Isabelle/采埃孚;TAS公司;伊莎贝尔;OCaml公司
引用于：	11文件

2	mnesc博士，Isabela
2	都铎Jebelean
2	埃尔科·维瑟
1	泽克里亚·阿利亚齐齐奥格鲁
1	佩妮·安德森
1	David A.Basin。
1	布赫伯格，布鲁诺
1	Adam J.Chlipala。
1	阿德里安·克雷西恩
1	特拉华州，本杰明
1	Cengiz埃尔巴斯
1	皮埃尔·弗莱纳
1	杰森·格罗斯
1	刘恭桥
1	马里奥·奥尔纳吉
1	Pit-Claudel，Clément公司
1	朱利安·理查森
1	耶拉姆拉朱五世（Yellamraju V.Srinivas）。
1	穆拉特·塔尼克（Murat M.Tanik）。
1	Paulo Augusto S.维洛索。
1	Sheila R.M.维洛索。

3	符号计算杂志
2	信息处理信件
1	理论计算机科学
1	蒂米·奥拉的阿奈勒大学。Seria Matematic？？信息
1	程序设计中的逻辑和代数方法杂志