http://forum.blogchina.com/forum/viewtopic.php?t=28914
搞笑的一句：记得1991年Java出现的时候，人们预言c++将会消失，可这并没有发生，而是SmallTalk消失了。当Linux出现的时候，人们又说微软有麻烦了，可实际上是Sun有了麻烦。:-D
阅读全文>
发表于 @ 2004年09月21日 03:18:00|评论(loading...)|编辑
其实偶很惭愧：一直不知道Marktoberdorf暑期班是什么来头，虽然自己也算小半个研究形式化方法的学生。昨天看到Marktoberdorf暑期班讲义 才知道，原来每年的暑期班也是计算机理论界的盛会。从Manfred Broy的讲义知道，原来每年暑期班都大牛云集，讲的东西也多半名动江湖。当年班里的新鲜玩意儿，竟然多是今天搞计算机的人口头心里常念叨的东西，比如Dijkstra的结构化编程和弱前置条件，Tony Hoare的数据抽象和CSP，J. Guttag的抽象数据类型(赫赫，现在谁不知道这个概念，可能连找编程的工作都难吧？)，J.A Robinson的逻辑编程，Pnueli的时态逻辑，J. Stoy的外延逻辑，等等等等。其实今年的暑期班的讲义也颇有意思，比如Boute的统一理论(Functional math, 听名字就知道和Lambda Calculus有莫大关系)，Broy关于形式化面向服务架构的框架(这个好像比较赶潮流的说)，Hoare的Process Algebra和具有检验功能的编译器(Writing Solid Code的作者Steve Mcguire的梦想的说，居然大阅读全文>
发表于 @ 2004年09月18日 07:11:00|评论(loading...)|编辑