Skip to content

CCF-C 期刊 - 程序设计语言与编译

程序设计语言、编译器、静态分析、语义、类型系统与形式化方法方向的 CCF-C 推荐期刊。

JLAMP全称Journal of Logical and Algebraic Methods in ProgrammingIF1年发文24
投稿https://www.editorialmanager.com/JLAMP出版周期-出版年份-
LetPubhttps://www.letpub.com.cn/index.php?journalid=9830&page=journalapp&view=detail
WOS/JCR
1区
JIFCOMPUTER SCIENCE, THEORY & METHODSQ3107/14627.1%
LOGICQ13/2790.7%
JCICOMPUTER SCIENCE, THEORY & METHODSQ238/14774.49%
LOGICQ28/2772.22%
新锐分区
2026
数学3区计算机:理论方法3区Top期刊综述期刊-
逻辑学3区
中科院分区
2025
数学4区计算机:理论方法4区Top期刊综述期刊
逻辑学4区
投稿方向程序语言、编译、形式化方法、语义、逻辑编程与验证。
发表费用传统发表免费开放获取可选
OA APCUSD 2,480(未含税)其他费用-
费用说明选择订阅模式不收 APC;选择开放获取时支付 APC,机构协议或减免可能改变实付金额。
TPLP全称Theory and Practice of Logic ProgrammingIF1.3年发文39
投稿-出版周期Bimonthly出版年份-
LetPubhttps://www.letpub.com.cn/index.php?journalid=7801&page=journalapp&view=detail
WOS/JCR
1区
JIFCOMPUTER SCIENCE, SOFTWARE ENGINEERINGQ4103/12819.9%
COMPUTER SCIENCE, THEORY & METHODSQ392/14637.3%
LOGICQ11/2798.1%
JCICOMPUTER SCIENCE, SOFTWARE ENGINEERINGQ245/12865.23%
COMPUTER SCIENCE, THEORY & METHODSQ244/14770.41%
LOGICQ210/2764.81%
新锐分区
2026
数学2区计算机:软件工程3区Top期刊综述期刊-
计算机:理论方法2区
逻辑学2区
中科院分区
2025
数学2区计算机:理论方法2区Top期刊综述期刊
逻辑学2区
计算机:软件工程3区
投稿方向程序语言、编译、形式化方法、语义、逻辑编程与验证。
发表费用传统发表免费开放获取可选
OA APC以期刊官网报价为准其他费用-
费用说明选择订阅模式不收 APC;选择开放获取时支付 APC,机构协议或减免可能改变实付金额。
PACM PL全称Proceedings of the ACM on Programming LanguagesIF-年发文-
投稿-出版周期-出版年份-
LetPubhttps://www.letpub.com.cn/index.php?journalid=27329&page=journalapp&view=detail
WOS/JCR
-
JIF----
JCI----
新锐分区
2026
计算机科学2区计算机:软件工程2区Top期刊综述期刊-
中科院分区
2025
计算机科学1区计算机:软件工程1区Top期刊综述期刊
投稿方向程序语言、编译、形式化方法、语义、逻辑编程与验证。
发表费用传统发表不提供开放获取必须
OA APCUSD 350(非会员)/ USD 250(会员)其他费用-
费用说明2026 年起仅开放获取;ACM Open 机构作者免 APC,其他作者按会员身份收费。