English Translation

[Lancern]

Hi. Thanks for your brilliant work on writing the Chinese version of this book. I'm also interested in & working on program analysis, and I believe I'm able to help to translate this book into English. How could I start?

[RangerNJU]

Hi! You can choose to fork this repository or create a new repository.

I will add a link to your repository in the README file so that others can read it or help you with the translation. So once you have a repo started, please comment here with a link.

If you have any questions while reading and translating, just let me know via email or GitHub issue.

Thank you! ! ❤️

[Lancern]

Hi. I have forked your repo to https://github.com/Lancern/Static-Program-Analysis-Book. You can track my progress from the project page in the forked repo.

To take the first step, I'm going to refactor the project's structure so that the Chinese version and the upcoming English version are seperated in different directories. Then I'll start translating by first translating the README file, then each chapter.

[RangerNJU]

Thank you! I've added a link to your repo in README. :)

[Lancern]

在 README.md：

在理论部分，考虑的是如何设计一个语言的语法和语义，如何设计语言的类型系统等等问题；有了语言的语法、语义和类型系统之后，我们需要支撑语言的运行。因此，在环境部分，需要考虑如何为运行中的程序提供运行时环境——如何设计编译器，在运行时需要怎样的支持（如内存的分配管理）等等；应用部分则关注如何保证语言所写出程序的效率、安全性和可靠性，主要考虑如何对程序进行分析，验证和合成（如何自动合成一个程序）。

这一段话好像缺主语？

[CharesFang]

Hi, if there are any need for English translation reviews, please just @me.