维斯瓦纳特,K。 用动力系统计算。 (英语) Zbl 1128.68119号 不同。埃克。动态。系统。 14、第1-2、1-25号(2006). 本文讨论了离散动力系统理论中的技术在计算机科学算法形式分析中的应用。作者将Knuth对算法的定义与Dijkstra和Gries的一些思想结合起来,得到了所谓的映射码形式,它将算法表示为包含离散动力系统的交换图。然后将有关算法终止或正确性的声明翻译成动力系统语言。作为具体示例,几个简单算法的完全正确性,特别是用于gcd计算的算法,在这种形式中得到了证明。审核人:沃纳·M·塞勒(卡塞尔) 引用于2文件 MSC公司: 68瓦40 算法分析 37N99型 动力系统的应用 2005年第68季度 计算模型(图灵机等)(MSC2010) 37米99 动力系统的逼近方法和数值处理 37B99型 拓扑动力学 37号30 数值分析中的动力系统 39B12号机组 迭代理论、迭代和合成方程 关键词:离散动力系统;算法;正确性;程序验证;形式化方法;地图代码形式主义 PDF格式BibTeX公司 XML格式引用 \textit{K.Viswanath},不同。埃克。动态。系统。14,编号1--2,1--25(2006;Zbl 1128.68119)