zlstone2010的专栏

原创 The size of system

I think a small system is very simple ,but when the size of system begin to grow up, the difficult of development also grow up!

原创 Programming Thoughts

The best important programming thoughts is abstraction.The essential thing of programming thoughts is abstraction. We hope that you can use the ideas to understand the difference between a pile

原创 System design

system design have included three aspect: processthreaddistribute system design should follow this rule,and consider these factor: compatibleportablenon-language-related  ext

原创 essential & non-essential knowledge

I think all the knowledge can be divided into two types!one is essential knowledge and the other is non-essential knowledge! how to study the essential knowledge!my choice is select the right

原创 Some valuable blog links

一个正在挪威奥斯陆工作的中国软件工程师 

原创 tomasulo algorithm

原创 syntactic sugar & desugared

wiki referenced page:http://en.wikipedia.org/wiki/Syntactic_sugar  语法糖衣 脱糖

原创 windows, thread ,message queue

窗口和挂钩是线程独有的资源。如果线程结束后，系统会自动删除该窗口和挂钩。 鼠标、光标，窗口类、菜单、加速键表是进程的资源。当线程创建这些资源后，就归进程所有了。 窗口是线程独有的，当窗口创立的时候，窗口就去向系统注册自己的窗口，这样系统发送消息的时候，就知道发送给那一个窗口了，然后窗口和线程是唯一对应的，这样，就可以把消息发到特定的线程，并传递给窗口线程的消息循环处理。

原创 the studying of QT

原创 Garbage Collector

原创 windows 's hacking and tracing

If we want to see the internals of some system and framework, we have to do some hacking and tracing. windows is a robust and representiative system,there are many utility tools we can use.the b

原创 函数式语言

原创 代码托管

由公共语言运行库环境（而不是直接由操作系统）执行的代码。

原创 向一个哥们推荐sicp

2009年3月7日晚11时向一个NULL中级的哥们推荐sicp的聊天记录如下： 朴素的求道者 22:43:18不会边写边变，又不是回溯法  哥们甲 22:43:25我现在就是开始可能有个模糊的雏形,然后还需要边写边改朴素的求道者 22:43:36你以为走迷宫说  朴素的求道者 22:43:49你那样思维是走迷宫  朴素的求道者 22:44:01不行又回退  哥们甲 22:44:03日,比如

原创 My thoughts about program

I want to know how to design program,specially large scale program. I think the key of that is to control the complexity of your program. Because,we have to combine the simple beings to the mo

原创 The Histroy of language

The progress of the computer fields is Inventing  languages,frequently!  It is no exaggeration to regard this as the most fundamental idea in programming:The evaluator, which determines the mean

原创 Think abstractly

we should think abstractly.It is the right mode and approach  to understand the world! use the blackbox to abstract.what is abstraction barrier.

原创 控制系统复杂性

控制系统复杂性 用抽象 屏障去控制系统的复杂性。control the complexity of your system.

原创 逻辑学概论

逻辑，是对思维过程的抽象。研究逻辑的目的是要在思维的层面上弄清楚得到结论的原因。从这个研究任务上来看，凡是具有得出结论的作用的思维过程，都是逻辑过程。 人的逻辑应分为三大类，即朴素逻辑、工具逻辑（包括称名逻辑、形式逻辑、表象逻辑）和辩证逻辑。

原创 语言的错误

词法错误： 语法错误： 语义错误： 逻辑错误：

原创 语言术语——英文翻译

作用域  scope 

原创 相关语言概念

自由变量：局部变量之外的变量称之为自由变量。

原创 语言术语

statement blockhttp://en.wikipedia.org/wiki/Statement_block scope http://en.wikipedia.org/wiki/Scope_(programming) Name bindinghttp://en.wikipedia.org/wiki/Name_binding Dispatch tabl

原创 计算机科学家的主页

John McCarthyhttp://www-formal.stanford.edu/jmc/

原创 语言汇总

fortran:http://en.wikipedia.org/wiki/Fortran algol:http://en.wikipedia.org/wiki/ALGOL_programming_language

原创 Python 生成器

 python 生成器

原创 程序的基本部分

构成程序的基本成分包括 子程序、子例程、例程、协同例程、递归例程、模块和构件。 子程序：与子任务相应的处理对象和处理规则的描述。 子例程：subroutine  可由其他程序或子程序调用的子程序，子例程有两个方面：一是定义方面，成为子例程定义或子例程说明，另一个是调用方面，成为子例程调用，随着实现方式的不同，又可区分为开式子例程和闭式子例程，两者各有利弊。开式子例程时间节省

原创 The Paradigms of Programming

结构化程序设计，递归协同例程(recursive coroutine)动态程序设计基于规则的系统状态变换机制(state-transition mechanism)

原创 语言和系统

语言： 语意 semantics assign meangings to programs  系统： 隔离耦合同步并发模型 model checkingconcurrentprogram verification 

原创 程序粘滞性

程序的粘滞性 函数的粘滞性： 输入粘滞和输出粘滞。使用外部的内存，产生内存供外部代码使用。  模块的粘滞性：模块的粘滞性等同以上。 

原创 团队模式

羊群模式： 叫牛群模式,猪群模式也可不具有侵略性和恭敬性，仅仅以完成任务为目的。需要一名牧羊犬，或者放牛娃，放猪娃。在环境条件特别好的情况下，牧羊犬的作用可以淡化。牧羊犬叫manager   狼群模式：具有侵略性和攻击性的团队。需要一名头狼。没有头狼就不能成为攻击性，侵略性团队。头狼叫leader

原创 图论学习

图论的奠基人  欧拉

原创 model-checking

 model checking 模型检测是针对一个模型的测试。 具体的测试，是对模型执行的实例的一种测试。模型测试更加抽象。 状态空间  剪枝 Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the syst

原创 状态空间

状态空间state space 剪枝

原创 专业术语预读

状态空间   state-spacemodel-checking deadlock freedom  Software Modeling and Verification     temporal logic   时序逻辑   时间逻辑 The temporal logic of reactive and concurrent systems

原创 冯-诺依曼和“程序存储”

冯.诺曼的主要贡献就是提出并实现了“存储程序”的概念。冯.诺曼结构处理器具有以下几个特点：必须有一个存储器； 必须有一个控制器； 必须有一个运算器，用于完成算术运算和逻辑运算； 必须有输入和输出设备，用于进行人机通信。 有了冯-诺依曼，才有了“程序员”，因为程序被存储了。

原创 图灵奖获得者

1966年图灵奖获得者Alan Perlis1967年图灵奖获得者Maurice V. Wikes1968年图灵奖获得者Richard W. Hamming1969年图灵奖获得者Marvin Lee Minsky1970年图灵奖获得者James H. Wilkinson1971年图灵奖获得者John McCarthy1972年图灵奖获得者Edsger Wybe Dijk

原创 我喜欢去的网站

 http://www.tektalk.cn      弯曲评论

原创 计算机先贤

图灵 冯-诺依曼 丘奇    

原创 关于how to design program的评论(转载)

说这本书没有完全将scheme的思想说出来，那应该是没问题的但说到scheme的语法，要知道scheme的语法标准也不过100页这本书基本上都涵盖了跟sicp不大一样的是，htdp更基本，而前者在思想上更宽，所以我选择了这本书而不是sicp作为scheme的入门当然还好的语法文本，比如r5rs和the scheme language不过scheme跟许多语言最大的区别就是它的语法约束少其实如果不做