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

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:x1026221496
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
算法程序是用抽象程序设计语言或可执行的程序设计语言描述的算法。开发正确而有效的算法程序一直是计算机界的核心问题。分划—递推法(PAR方法)是一种统一的算法程序开发方法,采用这种方法开发的算法程序Apla程序是一种抽象算法程序,它的每一步都经过严格的数学推导,因而可以保证算法的正确性,采用程序转换技术将抽象算法程序转换为各种执行程序,可以大幅度提高算法程序的效率和可靠性。
其他文献
马上要放寒假了,于是打算买个摄像头回家,一来方便与朋友视频聊天,同时还可以利用它拍摄并制作大头贴,一到电脑城后,很多柜台都放了五彩缤纷的摄像头,笔者选了一款200万像素的产品,而且支持夜视功能,没想到回家使用时,出现比较尴尬的驱动冲突。    一、故障现象  将摄像头安装到电脑上,驱动之后使用自带的软件测试,画面很清晰,效果不错。于是开始找一个Q友进行视频,成功视频后,Q友说可以听到我这边的打字声
新课程改革背景下.打造高效英语课堂已经成为英语教师的共识。英语课堂是英语教学的主要阵地.教师在课堂上如何对学生进行引导,实现高效英语课堂。是每位英语教师必须面对的问题
《几何画板》是一款操作简单、方便易用,不仅具有强大的作图、计算及动画功能,而且具有即时性与交互性的教学辅助软件。它能把抽象的数学问题形象化、直观化,有利于突破难点
多媒体辅助教学作为优化教学的手段得到广泛的运用,它对提高教学质量起到不可估量的作用,本文从学科教学的角度,阐明辅助教学的作用,探索了辅助教学的一些教学途径,在使多媒
网络银行是电子商务为银行业催生的新生产物,然而由于银行业务本身与网上交易的特殊性,势必会给网络银行带来新的安全威胁,因此制定相应的风险对策有重要的现实意义.本文着重