Study note
Semantics with Applications: An Appetizer
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 编程语言与函数式编程
- Source
- springer.com
- Vault note
library/books/compilers/Semantics-with-Applications-An-Appetizer-21696e152b2241f1.md
Summary
程序语义入门书，介绍操作语义、指称语义、公理语义等基本方法，并用 IMP 等小语言展示如何形式化描述程序执行与程序性质。
Highlights
适合在 TAPL/PFPL 之外补“语义是什么、为什么需要多种语义风格”的概念地图，是从解释器实现过渡到形式语义的桥。
Notes
Hanne Riis Nielson、Flemming Nielson；2007。
Comments
Loading comments...