2020年8月18日
程序理论（theory of programs）总览
摘要： 程序理论是研究程序的语义性质和程序设计及开发方法的理论。主要包括： 程序语义理论 数据类型理论 程序逻辑理论 程序验证理论 并发程序设计理论 混成程序设计理论 程序理论和算法理论是计算机科学的两大支柱。 程序理论的基本问题：如何建立一个相对完善的理论框架，为软件设计与开发方法提供理论依据。这个框架应 阅读全文
posted @ 2020-08-18 22:08 公羊尺 阅读(734) 评论(0) 推荐(0)