Comments (5)
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! !
from static-program-analysis-book.
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.
from static-program-analysis-book.
Thank you! I've added a link to your repo in README. :)
from static-program-analysis-book.
在 README.md
:
在理论部分,考虑的是如何设计一个语言的语法和语义,如何设计语言的类型系统等等问题;有了语言的语法、语义和类型系统之后,我们需要支撑语言的运行。因此,在环境部分,需要考虑如何为运行中的程序提供运行时环境——如何设计编译器,在运行时需要怎样的支持(如内存的分配管理)等等;应用部分则关注如何保证语言所写出程序的效率、安全性和可靠性,主要考虑如何对程序进行分析,验证和合成(如何自动合成一个程序)。
这一段话好像缺主语?
from static-program-analysis-book.
Hi, if there are any need for English translation reviews, please just @me.
from static-program-analysis-book.
Related Issues (6)
- ch1.md HOT 1
- 图片内容错误? HOT 2
- The online gitbook service is down HOT 2
- 提个小建议 HOT 1
- 南大课程课后作业参考实现 HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from static-program-analysis-book.