# spa_chinese

**Repository Path**: tomgu1991/spa_chinese

## Basic Information

- **Project Name**: spa_chinese
- **Description**: Personal Chinese translation of Static Program Analysis(https://cs.au.dk/~amoeller/spa/).
静态程序分析的个人翻译。仅供学习使用
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2023-07-25
- **Last Updated**: 2023-10-22

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# spa_chinese
Personal Chinese translation of Static Program Analysis(https://cs.au.dk/~amoeller/spa/).
For personal study and education only.
Any valiation of licence, please contact me.

## 介绍
Static Program Analysis(SPA) is a technique to analyze program properites without running the program.
It is widely used in compiler, bug detection, code anlaysis such as CICD, and so on.
Prof. Anders Møller of Aarhus University is working on written a book of SPA for many years.
And this book is one of the best, I have ever read.
So, in this repo, we will try our best to translate it into Chinese.
Hope this book can help readers learn SPA easy and fun.
In special, SPA fills a lot of abstract and touch theory.
We will make easy-understanding explanation in comments.

Carpe diem seize the day : )

## Licence
We use the original author's,
This work is licensed under [a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License](https://creativecommons.org/licenses/by-nc-nd/4.0/).