研究方向

程序设计语言研究室下设于软件工程研究所和软件研究所，致力于程序设计语言的原理、设计、实现及其支撑环境的研究，主要研究方向包括：程序设计语言的设计与实现，函数式语言，程序代数与程序演算，程序分析与验证，程序自动修复，程序变换，程序合成，并行程序设计等。

研究室主页：http://pl.cs.pku.edu.cn/

研究人员