胡是 - 博客园

定义程序语言语义的三种方法

摘要： 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... 阅读全文

posted @ 2010-09-18 10:30 胡是阅读(275) 评论(0) 推荐(0) 编辑

表达式、语句和声明

摘要： 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... 阅读全文

posted @ 2010-09-18 10:26 胡是阅读(187) 评论(0) 推荐(0) 编辑

M4（ZZ GNU autobook）

摘要：【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... 阅读全文

posted @ 2010-09-17 10:48 胡是阅读(3381) 评论(0) 推荐(1) 编辑

什么是好的语言设计（zZ）

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

posted @ 2010-09-16 10:37 胡是阅读(498) 评论(0) 推荐(0) 编辑

《程序设计语言概念》第六章类型系统和类型推测

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

posted @ 2010-09-14 15:10 胡是阅读(322) 评论(0) 推荐(0) 编辑

近期读书列表

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

posted @ 2010-09-14 14:23 胡是阅读(162) 评论(0) 推荐(0) 编辑

how can you communicate how much faster your concurrent application now performs

摘要： 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... 阅读全文

posted @ 2010-09-12 17:38 胡是阅读(282) 评论(0) 推荐(0) 编辑

FOUR NECESSARY CONDITIONS REQUIRED TO ALLOW DEADLOCK

摘要： 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... 阅读全文

posted @ 2010-09-12 17:05 胡是阅读(228) 评论(0) 推荐(0) 编辑

Dekker’s Algorithm - Critical Section

摘要： 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... 阅读全文

posted @ 2010-09-12 10:19 胡是阅读(491) 评论(0) 推荐(0) 编辑

how to prove concurrent algorithms are correct

摘要： "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... 阅读全文

posted @ 2010-09-11 19:18 胡是阅读(187) 评论(0) 推荐(0) 编辑