the formal semantics of programming language: an introduction
本书为英文原版，内容包括程序语言设计的基本原理，以及关于语言设计的形式化语义的描述理论基础，内容较为专业，却是一本非常优秀的关于形式化语义的教材！
用户评论