期刊文献+

程序设计法则 预览

在线阅读 免费下载
收藏 分享 导出
摘要 本文对Dijkstra的不确定性顺序程序设计语言,给出完整的一组代数法则。用Scott的域论把迭代和递归解释为连续泛函的不动点。提出了类似于最弱前置谓词的演算,以帮助人们从程序的规格说明中推导程序。
出处 《计算机科学》 CSCD 北大核心 1989年第2期 1-9,共9页 Computer Science
  • 相关文献
投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈