摘要：用数学方法，尤其是形式系统严格定义出的语言的语义。程序设计语言是人们用来和计算机系统进行通信和控制其工作的人工语言。作为语言，人工语言和自然语言一样，有其语法、语义和语用范畴。程序设计语言的语法是指程序的组成规则，语义是指程序的含义。 程序设计语言的语义通常是由设计者用一种自然语言非形式地解释，实现 阅读全文

摘要：程序理论是研究程序的语义性质和程序设计及开发方法的理论。主要包括： 程序语义理论 数据类型理论 程序逻辑理论 程序验证理论 并发程序设计理论 混成程序设计理论 程序理论和算法理论是计算机科学的两大支柱。 程序理论的基本问题：如何建立一个相对完善的理论框架，为软件设计与开发方法提供理论依据。这个框架应 阅读全文

摘要：of 一般表示占有、隶属，另一种更常见的用法是表达同位关系，即X of Y表示X和Y是同一个意思（1-4）： （1）笼统的数量概念：the age of five，即X是某个抽象的概念，Y是其具体化； （2）X指所起作用，Y为事物本体：on the basis of these facts （以事实 阅读全文