- 博客(2)
- 收藏
- 关注
原创 S. Lippman的访谈
http://forum.blogchina.com/forum/viewtopic.php?t=28914搞笑的一句:记得1991年Java出现的时候,人们预言c++将会消失,可这并没有发生,而是SmallTalk消失了。当Linux出现的时候,人们又说微软有麻烦了,可实际上是Sun有了麻烦。:-D
2004-09-21 03:18:00 2660
原创 Marktoberdorf暑期班的讲义
其实偶很惭愧:一直不知道Marktoberdorf暑期班是什么来头,虽然自己也算小半个研究形式化方法的学生。昨天看到Marktoberdorf暑期班讲义 ,尤其是Manfred Broy的讲义,才知道,原来每年的暑期班也是计算机理论界的盛会,大牛云集。大牛们讲的东西也多半名动江湖。当年班里的新鲜玩意儿,竟然多是今天搞计算机的人口头心里常念叨的东西,比如Dijkstra的结构化编程(每个学编程的人第
2004-09-18 07:11:00 2579 2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人