Journal Title:Journal Of Functional Programming
Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming.
《函數式編程雜志》是唯一一本專門討論函數式編程語言的設計、實現和應用的雜志,涵蓋從數學理論到工業實踐的各個領域。涵蓋的主題包括函數式語言和擴展、實現技術、推理和證明、程序轉換和綜合、類型系統、類型理論、基于語言的安全性、內存管理、并行性和應用程序。該雜志吸引了對編程邏輯基礎感興趣的計算機科學家、軟件工程師、編程語言研究人員和數學家。
Journal Of Functional Programming創刊于1991年,由Cambridge University Press出版商出版,收稿方向涵蓋計算機:軟件工程 - 工程技術全領域,此刊是中等級別的SCI期刊,所以過審相對來講不是特別難,但是該刊專業認可度不錯,仍然是一本值得選擇的SCI期刊 。平均審稿速度 12周,或約稿 ,影響因子指數1.1,該期刊近期沒有被列入國際期刊預警名單,廣大學者值得一試。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 | 2區 | 否 | 否 |
名詞解釋:
中科院分區也叫中科院JCR分區,基礎版分為13個大類學科,然后按照各類期刊影響因子分別將每個類別分為四個區,影響因子5%為1區,6%-20%為2區,21%-50%為3區,其余為4區。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 2區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 | 2區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 | 4區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 | 3區 | 否 | 否 |
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 | 3區 | 否 | 否 |
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科:COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 |
23.3% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科:COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 103 / 131 |
21.76% |
名詞解釋:
WOS即Web of Science,是全球獲取學術信息的重要數據庫,Web of Science包括自然科學、社會科學、藝術與人文領域的信息,來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術會議多學科內容。給期刊分區時會按照某一個學科領域劃分,根據這一學科所有按照影響因子數值降序排名,然后平均分成4等份,期刊影響因子值高的就會在高分區中,最后的劃分結果分別是Q1,Q2,Q3,Q4,Q1代表質量最高。
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||
| 1.7 | 0.484 | 0.847 |
|
名詞解釋:
CiteScore:衡量期刊所發表文獻的平均受引用次數。
SJR:SCImago 期刊等級衡量經過加權后的期刊受引用次數。引用次數的加權值由施引期刊的學科領域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領域中預期的受引用情況進行衡量。
| 是否OA開放訪問: | h-index: | 年文章數: |
| 未開放 | 47 | 11 |
| Gold OA文章占比: | 2021-2022最新影響因子(數據來源于搜索引擎): | 開源占比(OA被引用占比): |
| 64.71% | 1.1 | 0.44... |
| 研究類文章占比:文章 ÷(文章 + 綜述) | 期刊收錄: | 中科院《國際期刊預警名單(試行)》名單: |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子):
歷年引文指標和發文量:
歷年中科院JCR大類分區數據:
歷年自引數據:
2023-2024國家/地區發文量統計:
| 國家/地區 | 數量 |
| USA | 22 |
| England | 17 |
| GERMANY (FED REP GER) | 14 |
| Scotland | 9 |
| Belgium | 6 |
| Netherlands | 6 |
| Sweden | 6 |
| France | 5 |
| Australia | 4 |
| Denmark | 4 |
2023-2024機構發文量統計:
| 機構 | 數量 |
| UNIVERSITY OF EDINBURGH | 8 |
| KU LEUVEN | 5 |
| INRIA | 4 |
| UNIVERSITY OF CAMBRIDGE | 4 |
| UNIVERSITY OF NEW SOUTH WALES SY... | 4 |
| UNIVERSITY OF OXFORD | 4 |
| DELFT UNIVERSITY OF TECHNOLOGY | 3 |
| EBERHARD KARLS UNIVERSITY OF TUB... | 3 |
| IMPERIAL COLLEGE LONDON | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
近年引用統計:
| 期刊名稱 | 數量 |
| J FUNCT PROGRAM | 25 |
| ACM T PROGR LANG SYS | 16 |
| INFORM COMPUT | 15 |
| THEOR COMPUT SCI | 15 |
| COMMUN ACM | 13 |
| J AUTOM REASONING | 11 |
| LOG METH COMPUT SCI | 11 |
| SCI COMPUT PROGRAM | 9 |
| MATH STRUCT COMP SCI | 7 |
| J ACM | 6 |
近年被引用統計:
| 期刊名稱 | 數量 |
| J FUNCT PROGRAM | 25 |
| LOG METH COMPUT SCI | 21 |
| J AUTOM REASONING | 14 |
| SCI COMPUT PROGRAM | 10 |
| ACM T PROGR LANG SYS | 9 |
| J LOG ALGEBR METHODS | 8 |
| MATH STRUCT COMP SCI | 7 |
| ELECTRON J COMB | 5 |
| FUND INFORM | 5 |
| J LOGIC COMPUT | 4 |
近年文章引用統計:
| 文章名稱 | 數量 |
| Iris from the ground up A modula... | 5 |
| The verified CakeML compiler bac... | 2 |
| Push versus pull-based loop fusi... | 2 |
| A theory of RPC calculi for clie... | 2 |
| POPLMark reloaded: Mechanizing p... | 2 |
| On the expressive power of user-... | 2 |
| Systematic identification and co... | 1 |
| The full-reducing Krivine abstra... | 1 |
| Foundations of dependent interop... | 1 |
| How to prove decidability of equ... | 0 |
| 同小類學科的其他優質期刊 | 影響因子 | 中科院分區 |
| Journal Of Field Robotics | 4.2 | 2區 |
| Computer Networks | 4.4 | 2區 |
| Computer Science Review | 13.3 | 1區 |
| Journal Of Computational Science | 3.1 | 3區 |
| Neurocomputing | 5.5 | 2區 |
| Ict Express | 4.1 | 3區 |
| Computer Speech And Language | 3.1 | 3區 |
| Applied Artificial Intelligence | 2.9 | 4區 |
| International Journal Of Approximate Reasoning | 3.2 | 3區 |
| Digital Communications And Networks | 7.5 | 2區 |
若用戶需要出版服務,請聯系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。