我也强烈推荐 Nielson 和 Nielson 写的《Semantics with Applications》。我今年一月份读的，书写得非常好。对于只有一点点形式化方法（formal methods）基础的人来说，这本书非常容易上手。如果你在找一本优秀的入门书……
I also highly recommend "Semantics with Applications" by Nielson and Nielson. I read it this January and it is an excellent book. It is very approachable for someone with only the lightest background in formal methods. If you are looking for a good introduction…
……《Partial Evaluation and Automatic Program Generation》，作者是 Jones、Gomard 和 Sestoft，网上某些地方可以免费下载。如果你想浅尝一下语义学（semantics），没有比 Nielson 和 Nielson 的《Semantics with Applications》更好的教材了，作者网站上也有在线版。本科生的“appetizer”（开胃菜）版本是新出的，我不好打包票，但老版本绝对是一本小巧玲珑的神作。这本教材介绍了三大主流语义……
…"Partial Evaluation and Automatic Program Generation." Jones, Gomard and Sestoft. Freely available online somewhere. If you wanna dip into semantics, there is no better text than Nielson and Nielson "Semantics with Applications", also online on the authors' website. The undergraduate "appetizer" edition is new and I can't vouch for it, but the older one is a gem of a tiny little book. This text introduces all major three semantic…
……Anderson；《The Formal Semantics of Programming Languages》，Glynn Wynskell；《Communicating Sequential Processes》，Tony Hoare，这本书紧凑而清晰得令人惊叹；Pi Calculus，Robin Milner；《Semantics With Applications》，Hanne Riis Nielson；《On Concurrent Programming》，Fred Schneider；《Specifying Systems with TLA+》，Leslie Lamport；《Distributed Algorithms》，Nancy Lynch；《Reliable Distributed Computing》，Ken Birman 和 Robert……
…Anderson The Formal Semantics of Programming Languages. Glynn Wynskell. Communicating Sequential Processes. Tony Hoare. This book is surprising in its compactness and lucidity. Pi Calculus. Robin Milner. Semantics With Applications. Hanne Riis Nielson On Concurrent Programming. Fred Schneider. Specifying Systems with TLA+. Leslie Lamport. Distributed Algorithms. Nancy Lynch. Reliable Distributed Computing. Ken Birman and Robert…
……Nipkow 和 Klein 写的《Concrete Semantics》http://concrete-semantics.org/，它同时也是 Isabelle/HOL 证明助手的入门教材，并在 Isabelle 中对所有 PL（编程语言）内容进行了形式化。另外还有：* Nielson 和 Nielson 的《Semantics with Applications: An Appetizer》https://www.springer.com/gp/book/9781846286919，显然是我很喜欢的那本老书的新版，以前还能下载到免费 PDF，不过那个链接……
…Concrete Semantics by Nipkow and Klein http://concrete-semantics.org/, which is also an introduction to the Isabelle/HOL proof assistant and formalizes all of the PL content in Isabelle There's also: * Semantics with Applications: An Appetizer by Nielson and Nielson https://www.springer.com/gp/book/9781846286919, apparently a newer edition of an older book I liked and which used to be available as a free PDF, but the link from…
……Queinnec 的《Lisp in Small Pieces》是最重要的著作，但你需要有扎实的指称语义（denotational semantics）基础（Nielson 和 Nielson 那本小书《Semantics with Applications: A Formal Introduction》里的一章就足够你应付了）。在这过程中的某个地方，你会接触到 lambda calculus 的各种编译方法和 IR，其中最重要的是 continuation passing style（CPS）。大多数语义学教材都会介绍……
…Quinnec's Lisp in Small Pieces is the most important work, but you will need a good foundation in denotational semantics (you can get by with the one chapter in the little book by Nielson and Nielson, "Semantics with Applications: A Formal Introduction". Somewhere in there you will brush against various compilation methods and IRs for the lambda calculus, most importantly continuation passing style. Most semantics text introduce…
我平时参考的书一般是这几本的组合：龙书（Dragon Book）、Muchnick 的《Advanced Compiler Design》以及《Semantics with Applications》。我一直打算弄一本《Engineering a Compiler》来看看。（顺便提一句，我最近正在读《Principles of Program Analysis》，这是一本专注于纯理论的好书。读读《Semantics……
I usually reference a combination of: Dragon Book, Muchnicks: Advanced Compiler Design, and Semantics with Applications. I have been meaning to pick up a copy of Engineering a Compiler. (I should also note I am currently reading: Principles of Program Analysis, it is a good book focusing on just theory. Read Semantics…
我也强烈推荐 Nielson 和 Nielson 写的《Semantics with Applications》。我今年一月份读的，书写得非常好。对于只有一点点形式化方法（formal methods）基础的人来说，这本书非常容易上手。如果你在找一本优秀的入门书……
I also highly recommend "Semantics with Applications" by Nielson and Nielson. I read it this January and it is an excellent book. It is very approachable for someone with only the lightest background in formal methods. If you are looking for a good introduction…
……《Partial Evaluation and Automatic Program Generation》，作者是 Jones、Gomard 和 Sestoft，网上某些地方可以免费下载。如果你想浅尝一下语义学（semantics），没有比 Nielson 和 Nielson 的《Semantics with Applications》更好的教材了，作者网站上也有在线版。本科生的“appetizer”（开胃菜）版本是新出的，我不好打包票，但老版本绝对是一本小巧玲珑的神作。这本教材介绍了三大主流语义……
…"Partial Evaluation and Automatic Program Generation." Jones, Gomard and Sestoft. Freely available online somewhere. If you wanna dip into semantics, there is no better text than Nielson and Nielson "Semantics with Applications", also online on the authors' website. The undergraduate "appetizer" edition is new and I can't vouch for it, but the older one is a gem of a tiny little book. This text introduces all major three semantic…
……Anderson；《The Formal Semantics of Programming Languages》，Glynn Wynskell；《Communicating Sequential Processes》，Tony Hoare，这本书紧凑而清晰得令人惊叹；Pi Calculus，Robin Milner；《Semantics With Applications》，Hanne Riis Nielson；《On Concurrent Programming》，Fred Schneider；《Specifying Systems with TLA+》，Leslie Lamport；《Distributed Algorithms》，Nancy Lynch；《Reliable Distributed Computing》，Ken Birman 和 Robert……
…Anderson The Formal Semantics of Programming Languages. Glynn Wynskell. Communicating Sequential Processes. Tony Hoare. This book is surprising in its compactness and lucidity. Pi Calculus. Robin Milner. Semantics With Applications. Hanne Riis Nielson On Concurrent Programming. Fred Schneider. Specifying Systems with TLA+. Leslie Lamport. Distributed Algorithms. Nancy Lynch. Reliable Distributed Computing. Ken Birman and Robert…
……Nipkow 和 Klein 写的《Concrete Semantics》http://concrete-semantics.org/，它同时也是 Isabelle/HOL 证明助手的入门教材，并在 Isabelle 中对所有 PL（编程语言）内容进行了形式化。另外还有：* Nielson 和 Nielson 的《Semantics with Applications: An Appetizer》https://www.springer.com/gp/book/9781846286919，显然是我很喜欢的那本老书的新版，以前还能下载到免费 PDF，不过那个链接……
…Concrete Semantics by Nipkow and Klein http://concrete-semantics.org/, which is also an introduction to the Isabelle/HOL proof assistant and formalizes all of the PL content in Isabelle There's also: * Semantics with Applications: An Appetizer by Nielson and Nielson https://www.springer.com/gp/book/9781846286919, apparently a newer edition of an older book I liked and which used to be available as a free PDF, but the link from…
……Queinnec 的《Lisp in Small Pieces》是最重要的著作，但你需要有扎实的指称语义（denotational semantics）基础（Nielson 和 Nielson 那本小书《Semantics with Applications: A Formal Introduction》里的一章就足够你应付了）。在这过程中的某个地方，你会接触到 lambda calculus 的各种编译方法和 IR，其中最重要的是 continuation passing style（CPS）。大多数语义学教材都会介绍……
…Quinnec's Lisp in Small Pieces is the most important work, but you will need a good foundation in denotational semantics (you can get by with the one chapter in the little book by Nielson and Nielson, "Semantics with Applications: A Formal Introduction". Somewhere in there you will brush against various compilation methods and IRs for the lambda calculus, most importantly continuation passing style. Most semantics text introduce…
我平时参考的书一般是这几本的组合：龙书（Dragon Book）、Muchnick 的《Advanced Compiler Design》以及《Semantics with Applications》。我一直打算弄一本《Engineering a Compiler》来看看。（顺便提一句，我最近正在读《Principles of Program Analysis》，这是一本专注于纯理论的好书。读读《Semantics……
I usually reference a combination of: Dragon Book, Muchnicks: Advanced Compiler Design, and Semantics with Applications. I have been meaning to pick up a copy of Engineering a Compiler. (I should also note I am currently reading: Principles of Program Analysis, it is a good book focusing on just theory. Read Semantics…