形式化框架下置换和查找类算法的组装生成

作者：石海鹤著

页数：147页

出版社：科学出版社

出版日期：2017

ISBN：9787030522139

电子书格式：pdf/epub/txt

内容简介

本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。