Marktoberdorf暑期班的讲义

其实偶很惭愧：一直不知道 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关于 抽象处理的框架 ，看上去都挺有意思的。呵呵，看来这个月又有读的东西了。