Marktoberdorf暑期班的讲义

Marktoberdorf暑期班讲义中的编程理论

最新推荐文章于 2020-09-03 20:52:55 发布

最新推荐文章于 2020-09-03 20:52:55 发布 · 81 阅读

文章标签：

#编程 #框架 #J# #工作

作者作为研究形式化方法的学生，此前不知Marktoberdorf暑期班。看到讲义后发现这是计算机理论界盛会，大牛云集。讲义内容包含Dijkstra的结构化编程、J. Guttag的抽象数据类型等经典理论，今年还有Broy的形式化面向服务架构框架等，值得一读。

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