博文

推荐Software Abstractions: Logic， Language and Analysis

已有 2462 次阅读 2015-1-31 14:10 |个人分类:语义处理|系统分类:科研笔记| 关系代数

这是MIT的Daniel Jackson介绍使用relational algebra来模拟抽象模型的书。书是围绕着他创立的Alloy语言及其开源软件工具而写的，但使用First Order Relational Logic(FORL)的技巧是通用的，而且写得非常引人入胜。Alloy工具的独特之处是使用model checker在维度够小的空间全自动地验证模型或给出反例，比起使用theorem prover要容易很多。这是一本有非常独特视角而且虚实兼济的难得好书。网址见：

http://alloy.mit.edu/alloy/

http://softwareabstractions.org/

转载本文请联系原作者获取授权，同时请注明本文来自张海涛科学网博客。
链接地址：https://blog.sciencenet.cn/blog-2398747-864367.html

上一篇：真不需要常识吗？
下一篇：Google的老前辈