CSDN博客

img g9yuayon

Marktoberdorf暑期班的讲义

发表于2004/9/18 7:11:00  2303人阅读

分类: 计算机科学

其实偶很惭愧:一直不知道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的梦想的说,居然大牛已经开始做了。),和Sagiv关于抽象处理的框架 ,看上去都挺有意思的。呵呵,看来这个月又有读的东西了。
0 0

相关博文

我的热门文章

img
取 消
img