PAR平台从规约出发的算法推导与自动生成

Algorithmic derivation and automatic generation from specification on PAR platform

简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。

Briefly introduce the PAR approach and its supporting platform,then derive and generate two typical algorithmic programs from specification using it.The PAR approach and its platform expresses function specification by first prediction logic, formally derives algorithm by partition and recurrence,and automatic generate algorithmic program by diversified transformation systems.h distinctly improves correctness of algorithmic programs and development effficiency,does favor to profoundly understand soul of algorithmic design.