函數式編程雜志
函數式編程雜志雜志簡介
- 出版商：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
