手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

计算机程序设计的逻辑学(续)

Zohar Manna;Richard Waldinger;栾季生

  由数理逻辑引伸出来的方法有可能为构造、调试和优化计算机程序提供一种不同于常规的方法学。归根结底,这些方法是用来导致程序设计过程许多方面的自动化。本文提供各种逻辑方法的一个统一的指导性的解释,并举例说明。评价每种方法作为实际程序设计辅助手段的效果及局限性,并讨论在试验系统中实现这些方法的努力。……   
[关键词]:不变式;归纳法;终止性证明;非负整数;程序段;欧几里得算法
[文献类型]:期刊
[文献出处]: 《计算机科学1981年02期
App内打开