函数式编程杂志
函数式编程杂志杂志简介
- 出版商：Cambridge University Press
- 出版语言：English
- TOP期刊：否
- 出版地区：ENGLAND
- 是否预警：否
- 是否OA：未开放
- 出版周期：Bimonthly
- 出版年份：1991
- 中文名称：函数式编程杂志
- 是否OA：未开放
函数式编程杂志（国际简称J FUNCT PROGRAM，英文名称Journal Of Functional Programming）是一本未开放获取（OA）国际期刊，自1991年创刊以来，始终站在计算机科学研究的前沿。该期刊致力于发表在计算机科学领域各个方面达到最高科学标准和具有重要性的研究成果。全面反映该学科的发展趋势，为计算机科学事业的进步提供了有力的支撑。期刊严格遵循职业道德标准，对于任何形式的抄袭行为，无论是文字还是图形，一旦查实，均可能导致稿件被拒绝。
近年来，来自USA、England、GERMANY (FED REP GER)、Scotland、Belgium、Netherlands、Sweden、France、Australia、Denmark等国家和地区的研究者在《Journal Of Functional Programming》上发表了大量的高质量文章。该期刊内容丰富，包括原创研究、综述文章、专题观点、论文预览、专家意见等多种类型，旨在为全球该领域研究者提供广泛的学术交流平台和灵感来源。
在过去几年中，该期刊保持了稳定的发文量和综述量，具体数据如下：
2014年：发表文章13篇、2015年：发表文章18篇、2016年：发表文章19篇、2017年：发表文章24篇、2018年：发表文章18篇、2019年：发表文章16篇、2020年：发表文章19篇、2021年：发表文章28篇、2022年：发表文章12篇、2023年：发表文章11篇。这些数据反映了期刊在全球计算机科学领域的影响力和活跃度，同时也展示了其作为学术界和工业界研究人员首选资源的地位。《Journal Of Functional Programming》将继续致力于推动计算机科学领域的知识传播和科学进步，为全球计算机科学问题的解决贡献力量。
期刊指数
- 影响因子：1.1
- Gold OA文章占比：64.71%
- CiteScore：1.7
- 年发文量：11
- 开源占比：0.4407
- SJR指数：0.484
- H-index：47
- SNIP指数：0.847
- 出版国人文章占比：0.02
WOS期刊SCI分区（2023-2024年最新版）
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 |
23.3% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 103 / 131 |
21.76% |
中科院分区表
中科院SCI期刊分区 2023年12月升级版
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
| 否 | 否 | 计算机科学 3区 |
COMPUTER SCIENCE, SOFTWARE ENGINEERING
计算机：软件工程
2区
|
CiteScore（2024年最新版）
CiteScore 排名
| CiteScore | SJR | SNIP | CiteScore 排名 | ||||||||
| 1.7 | 0.484 | 0.847 |
|
学术指标分析
影响因子和CiteScore
自引率
影响因子：指某一期刊的文章在特定年份或时期被引用的频率，是衡量学术期刊影响力的一个重要指标。影响因子越高，代表着期刊的影响力越大 。
CiteScore：该值越高，代表该期刊的论文受到更多其他学者的引用，因此该期刊的影响力也越高。
自引率：是衡量期刊质量和影响力的重要指标之一。通过计算期刊被自身引用的次数与总被引次数的比例，可以反映期刊对于自身研究内容的重视程度以及内部引用的情况。
年发文量：是衡量期刊活跃度和研究产出能力的重要指标，年发文量较多的期刊可能拥有更广泛的读者群体和更高的学术声誉，从而吸引更多的优质稿件。
期刊互引关系
| 序号 | 引用他刊情况 | 引用次数 |
| 1 | J FUNCT PROGRAM | 25 |
| 2 | ACM T PROGR LANG SYS | 16 |
| 3 | INFORM COMPUT | 15 |
| 4 | THEOR COMPUT SCI | 15 |
| 5 | COMMUN ACM | 13 |
| 6 | J AUTOM REASONING | 11 |
| 7 | LOG METH COMPUT SCI | 11 |
| 8 | SCI COMPUT PROGRAM | 9 |
| 9 | MATH STRUCT COMP SCI | 7 |
| 10 | J ACM | 6 |
| 序号 | 被他刊引用情况 | 引用次数 |
| 1 | J FUNCT PROGRAM | 25 |
| 2 | LOG METH COMPUT SCI | 21 |
| 3 | J AUTOM REASONING | 14 |
| 4 | SCI COMPUT PROGRAM | 10 |
| 5 | ACM T PROGR LANG SYS | 9 |
| 6 | J LOG ALGEBR METHODS | 8 |
| 7 | MATH STRUCT COMP SCI | 7 |
| 8 | ELECTRON J COMB | 5 |
| 9 | FUND INFORM | 5 |
| 10 | J LOGIC COMPUT | 4 |
高引用文章
- Iris from the ground up A modular foundation for higher-order concurrent separation logic引用次数：5
- The verified CakeML compiler backend引用次数：2
- Push versus pull-based loop fusion in query engines引用次数：2
- A theory of RPC calculi for client-server model引用次数：2
- POPLMark reloaded: Mechanizing proofs by logical relations引用次数：2
- On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control引用次数：2
- Systematic identification and communication of type errors引用次数：1
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus引用次数：1
- Foundations of dependent interoperability引用次数：1
- How to prove decidability of equational theories with second-order computation analyser SOL
