编程语言设计与分析
编程语言设计与分析(PL)研究编程语言的语义、类型系统、程序分析与变换。它和“编译原理”互补:编译原理偏工程实现(词法、语法、IR、代码生成),PL 偏理论(类型论、形式语义、程序证明)。
对硬件研究者来说,PL 是做现代编译器(LLVM/MLIR/TVM)、形式验证、硬件描述语言研究的理论基础。如果有意做 EDA 中的逻辑综合、形式等价性检查,或做 AI 编译器,PL 知识能看懂论文中的数学符号。
graph LR
A["数据结构与算法"]:::beginner --> B["NJU 软件分析"]:::intermediate
A --> C["北京大学 软件分析技术"]:::advanced
B -. "进阶" .-> C
classDef beginner fill:#EFF6FF,stroke:#3B82F6,color:#1E40AF
classDef intermediate fill:#F0FDF4,stroke:#16A34A,color:#14532D
classDef advanced fill:#F8FAFC,stroke:#64748B,color:#1E293B