06-程序设计语言与编译-CCF-A-B-C
本页从 CCF “软件工程、系统软件、程序设计语言”官方分类页中抽取程序设计语言、编译、静态分析、逻辑与函数式编程相关条目。
来源：CCF 官方分类页 链接。
说明：主页/入口 列优先保留稳定的官方或权威系列入口；如果某些会议官网按年份频繁变化，这里沿用 CCF 分类页给出的稳定地址。
A类列表
期刊
（本级别无条目）
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| POPL | ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| OOPSLA | Conference on Object-Oriented Programming Systems, Languages,and Applications | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
B类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| JFP | Journal of Functional Programming | 期刊 | 程序设计语言、编译、逻辑程序设计或静态分析方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| ICFP | ACM SIGPLAN International Conference on Function Programming | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| LCTES | ACM SIGPLAN/SIGBED International Conference on Languages, Compilers andTools for Embedded Systems | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| CP | International Conference on Principles and Practice of Constraint Programming | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| VMCAI | International Conference on Verification,Model Checking, and Abstract Interpretation | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| SAS | International Static Analysis Symposium | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
C类列表
期刊
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| JLAMP | Journal of Logical and Algebraic Methods in Programming | 期刊 | 程序设计语言、编译、逻辑程序设计或静态分析方向的重要国际期刊。 | 主页/入口 |
| TPLP | Theory and Practice of Logic Programming | 期刊 | 程序设计语言、编译、逻辑程序设计或静态分析方向的重要国际期刊。 | 主页/入口 |
| PACM PL | Proceedings of the ACM on Programming Languages | 期刊 | 程序设计语言、编译、逻辑程序设计或静态分析方向的重要国际期刊。 | 主页/入口 |
会议
| 简称 | 全名 | 类型 | 介绍 | 主页/入口 |
|---|---|---|---|---|
| PASTE | ACMSIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| APLAS | Asian Symposium on Programming Languages and Systems | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |
| LOPSTR | International Symposium on Logic-based Program Synthesis and Transformation | 会议 | 程序设计语言、编译、静态分析或程序验证方向的重要国际会议。 | 主页/入口 |