ClassicWuHao-CSDN博客

原创 JML

上周太忙碌了, 和Rosemary一起去了UCD参加了JML的座谈会,有幸结识了Gary Leavens, JML幕后的科学家. 座谈会一共大概来了13个人左右,里面我的Level最低,基本都是Dr.或Professor,只有我刚刚开始PhD. 上午作了一些关于Applied Formal Methods的演讲,以及各自在这块的研究方向.下午就是几个科学家凑在一起写Specification,针

2009-11-24 07:41:00 369

下星期一要代导师给大四的学生上一节课CS424 (Programming Language Semantics),好紧张啊. Type and Programming Languages的第20章(Recusive Types). 这两天在每天晚上积极备课,让自己尽快找回运用lambda calculus的感觉. 后天要去UCD参加一个小型座谈会,关于applied formal methods.

2009-11-18 06:54:00 270

原创 Jamopp Semantics Analysis

Tomorrow I will talk about one of the Jamopp features which is semantics analysis with James and Rosemary. Based on recent my intensive research, the Java1.5 semantics analysis consists of serveral re

2009-09-23 06:39:00 262

原创 fix point combinator(untyped)

Y combinator是一个在lambda calculus中的递归(Gernal Recursion)操作符。其定义为: Y = λf·(λx·f (x x)) (λx·f (x x)) 如Y作用于函数g上,Y g => (λx.g (x x))(λx. g (x x))=> g ((λx.g (x x)) (λx.g (x x)))=> g Y g=>*

2009-07-24 15:54:00 428

原创 LL1

At last, a full LL1 parsing table is generated by my own LL parser generator. I am happy enough.

2008-03-24 00:33:00 486

原创 Postfix (Polish Notation) 后缀表达式的转换

我的编译器之旅 (1):写在最前面:研究编译原理纯粹是我的个人爱好。大概1年半前的1个暑假，闲着在家没事做，读了1部分龙书，然后自己写了个Regular Expression(正则表达式)的分析器，有点类似Lex，根据定义的Regular Expression在内存中构建相对应的DFA。C++写的，今天看来那个时候的代码很幼稚。不过这对复习和巩固了词法分析起了很大帮助，由于自己动手写过

2008-02-01 06:08:00 959

原创 GWR - 1

经过上个星期的奋战，终于完成了Gaussian Module的开发。回想那个星期，几乎每天都工作14个小时。除了睡觉吃饭，天天就在GIS Lab。星期五原本想松口气的，可是就在我要回家的时候发现了一些很严重的问题，这些问题直接导致程序的运行速度。和之前GWR比较发现差了了好几倍，不，应该是好几十倍。当时就觉得自己在崩溃的边缘。运行速度使我怀疑最初的设计。然后1个晚上没有睡好。满脑子的程序，代码，

2007-04-15 11:56:00 1333

原创 GWR 3.0

1个月前正式投入到GWR(Geographically Weighted Regression) 3.0的开发。前天终于算出了第一组数据，兴奋不以。表明之前的所有基础工作和计算都没有错误。GWR涉及到很多统计公式和矩阵的计算，而且数据比较大。当中用了很多算法。总的来说感觉Numeric Programming是真正CS功力的体现。算法和数据结构是整个软件的核心。速度和重用性排在了首位,CSSE就再

2007-04-09 10:17:00 2832

原创编译器,原理,工具，技术一书中的一个问题

书的原名> International Edition问题来源: SEC3.2原书算法描述如下:forward=forward+1;if forward=eof then begin if forward at the end of first half then begin reload second half; forward=forward+1; en

2006-01-12 01:46:00 839 1

原创 Password Strength

前2天访问hotmail的Sign Up(注册)页面,发现现在页面越做越好了,其中一个Password Strength功能让我记忆犹新,它可以衡量1个密码的健壮度,试了几次果然不错。今天晚上没什么好看的电视,The Simpons又是看过的,what a usual night!!!于是随手自己写了个Password Strength,和Hotmail Sign Up页面上的差不多,Pretty

2005-12-31 21:37:00 1050

原创 Infix->Postfix

词法分析,lexical analysis属Compiler的front end部分，infix到postfix只是其中很小的一部分。从infix转postfix的关键是写出它的Context Free Grammar，写出了Context Free Grammar算法也就实现了。在转成代码的时候，和Context Free Grammar有细微的差别。我是用C#写的，lexer是用C写的

2005-05-31 01:05:00 1140

原创汇编综合应用(1) Test Palindrome

在粗略的看过string instruction之后，综合了先前所有看过的，写了个测试palindrome的程序，再次让大脑到达兴奋点，现在终于可以让大脑轻松一下了。呵呵~~~ 源码如下: .model small.stack 300h.data str1 byte 255 dup(?) str2 byte 255 dup(?) s1 byte "Please input a strin

2005-05-31 00:59:00 915 1