PL(Programing Language)程序语言PL(Programing Language)大致可以分成三部分： 理论部分：语言设计、类型系统、形式语义和程序逻辑等。即在理论上构建出一个语言。 环境部分：编译、运行时系统等。即相应的支撑语言运行的一套系统。 应用部分：程序分析、程序验证、程序合成等。在语言层面谈到程序分析，实际上指的就是静态程序分析。 从软工的角度来看很多人做的程...

分享人：monster