2010年2月5日星期五

基于抽象解释理论的类不变量静态分析器

[CB1.jpg]
[CB2.jpg]

以上网页图档拦截自微软研发

微软开发了一套根据抽象解释理论(Abstract Interpretation)为基础的静态分析器,作为JAVA部类的验证和模组分析。这个分析器的全名是『Class Invariants By Abstract Interpretation』,简称 CIBAI。德国科技出版社施普林格(Springer Verlag)于2007年一月份发布研发报告至今三年,整个微软没人告诉盖茨是怎么一回事。这就像在全马夜市摆卖猪肠粉的马来小贩,从来没有一位谙中文的华人会告诉他们『Chee cheong fan』是什么意思那样……有人说,互联网拉近人与人的距离,西西留不以为然,上面就是最好的例子。

6 条评论:

匿名 说...

好强悍的“基于抽象解释理论的类不变量静态分析器”。。。。哈哈哈哈哈

匿名 说...

从来没有一位谙中文的华人会告诉马来小贩『Chee cheong fan』就是猪肠粉大概是因为
1.猪肠粉与猪肠没有什么实质上的关系。
2.已经买少见少的食物交流是好事,没有事情何必要去挑动这种敏感神经呢?
3.几十年过去后,这样的事情才能上法庭争论是否要把猪肠粉改名去X肠粉。

我对回教徒喝酒吃猪肉虽然不会特地鼓励,但也不会去劝解。因为他们不能做的事情已经比谁都多,而且很多事情本来都是要过自己那关的,何必让他们养成凡事都先看别人而不看自己的习惯呢?

没人告诉盖茨也应该是很正常的吧。每一个新词,甚至是既有词汇都有可能与世界上的某一语言的不雅词汇同音。

我甚至相信Steve Jobs已经有心理准备有些人会嘲笑iPad像卫生棉。

匿名 说...

最惨的是,我一个姓沈的朋友,生了一个女儿,给她取名爱芝后,爱滋病就在几年后被广泛介绍。

匿名 说...

下次骂人我会说“你妈的根据抽象解释理论”

丁丁 说...

哈哈哈哈。。。。抵死啊

阿拉 说...

这本书很黄很暴力