摘要： Interpretive : meaning is expressed in terms of some simple abstract m/c. Axiomatic : where rules describe data values given various objects before and after execution of various language features. De... 阅读全文

摘要： Expressions A syntactic entity that may be evaluated to determine its value. Statement A command that alters the state of the machine in some explicit way. Declaration A syntactic entity that introd... 阅读全文

摘要： 【Here should be left for GNU License】 M4 is a general purpose tool for processing text and has existed on Unix systems of all kinds for many years, rarely catching the attention of users. Text genera... 阅读全文

摘要： 大多数好的语言设计与Lisp共有以下3个特征： 以应用为动机：语言的设计目标是要使得某种特定类型的程序易于编写。 抽象机器：有一个简单的、明确的程序执行模型。 理论基础：将理论理解作为确定追求哪些性能或者忽略哪些性能的基础。 以应用为动机 各种语言的动机： 语言 动机 Lisp 符号计算 C Unix操作系统 Simula 仿真 PL/1 试图解决所有编程问题：并不成功或... 阅读全文

摘要： 很多程序设计语言将数据和计算包装成类型（type）的集合（collection）。 6.1 程序设计中的类型 数据结构、函数、对象、通道和控制线程这些都是可计算性结构，都可以有类型。 类型主要有以下作用： 命名和组织概念 确保内存中的比特序列被正确理解 向编译器提供程序中操作的数据信息 1. 程序的组织和文档 类型实际上起到了描述程序设计意图的文档的作用。相对注释，类型会被编译器检查，而注释不... 阅读全文

摘要： 《程序设计语言原理》 第五章 名字、绑定、类型检测和作用域 第六章 数据类型 第十一章 抽象数据类型和封装结构 《编程语言：原理与范型》 第四章 命名 第五章 类型 第六章 类型系统 第十三章 面向对象编程 13.1 抽象数据类型 附录A Clite的定义 A.3 Clite的类型系统 《程序设计语言概念》 第六章 类型系统和类型推测 6.1 程序设计中的类型 6.2 类型安全和类型检查... 阅读全文

摘要： You could report two execution figures-serial execution timeparallel execution timeon the same input data set-to your manager.speedupWhen computing speedup, be sure to use the best serial algorithms a... 阅读全文

摘要： To have the potential for deadlock between two or more threads and the set of resources that are required by each, four conditions must be met. In a paper titled, "Sequencing tasks in multiprocess sys... 阅读全文

摘要： The development of code that eventually leads to Dekker's Algorithm is used to illustrate M. Ben-Ari's methods of verifying the correctness of concurrent algorithms. One thread will be executing the T... 阅读全文

摘要： "An ounce of prevention equals a pound of cure" 预防为主，治疗为辅。 concurrent abstraction programs are the execution of atomic statements concurrent programs are interleavings of atomic statements from two o... 阅读全文