首页> 中文期刊> 《电脑知识与技术》 >一种抽象算法程序到可执行程序的转换

一种抽象算法程序到可执行程序的转换

         

摘要

算法程序是用抽象程序设计语言或可执行的程序设计语言描述的算法。开发正确而有效的算法程序一直是计算机界的核心问题。分划—递推法(PAR方法)是一种统一的算法程序开发方法,采用这种方法开发的算法程序Apla程序是一种抽象算法程序,它的每一步都经过严格的数学推导,因而可以保证算法的正确性,采用程序转换技术将抽象算法程序转换为各种执行程序,可以大幅度提高算法程序的效率和可靠性。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号