中文字幕一二三区,亚洲国产片在线观看,国产网站午夜性色,亚洲国产综合精品2022

<menuitem id="ct2o2"><var id="ct2o2"></var></menuitem>
      1. <noscript id="ct2o2"><progress id="ct2o2"><i id="ct2o2"></i></progress></noscript>
        1. 首頁 > SCI期刊 > SCIE期刊 > 計算機科學 > 中科院3區(qū) > JCRQ4 > 期刊介紹

          Journal Of Functional Programming

          評價信息:

          影響因子:1.1

          年發(fā)文量:11

          函數式編程雜志 SCIE

          Journal Of Functional Programming

          《函數式編程雜志》(Journal Of Functional Programming)是一本以計算機:軟件工程-工程技術綜合研究為特色的國際期刊。該刊由Cambridge University Press出版商創(chuàng)刊于1991年,刊期Bimonthly。該刊已被國際重要權威數據庫SCIE收錄。期刊聚焦計算機:軟件工程-工程技術領域的重點研究和前沿進展,及時刊載和報道該領域的研究成果,致力于成為該領域同行進行快速學術交流的信息窗口與平臺。該刊2023年影響因子為1.1。CiteScore指數值為1.7。

          投稿咨詢 加急發(fā)表

          期刊簡介預計審稿時間: 12周,或約稿

          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.

          《函數式編程雜志》是唯一一本專門討論函數式編程語言的設計、實現和應用的雜志,涵蓋從數學理論到工業(yè)實踐的各個領域。涵蓋的主題包括函數式語言和擴展、實現技術、推理和證明、程序轉換和綜合、類型系統(tǒng)、類型理論、基于語言的安全性、內存管理、并行性和應用程序。該雜志吸引了對編程邏輯基礎感興趣的計算機科學家、軟件工程師、編程語言研究人員和數學家。

          《Journal Of Functional Programming》(函數式編程雜志)編輯部通訊方式為CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。如果您需要協(xié)助投稿或潤稿服務,您可以咨詢我們的客服老師。我們專注于期刊咨詢服務十年,熟悉發(fā)表政策,可為您提供一對一投稿指導,避免您在投稿時頻繁碰壁,節(jié)省您的寶貴時間,有效提升發(fā)表機率,確保SCI檢索(檢索不了全額退款)。我們視信譽為生命,多方面確保文章安全保密,在任何情況下都不會泄露您的個人信息或稿件內容。

          中科院分區(qū)

          2023年12月升級版

          大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
          計算機科學 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 2區(qū)

          2022年12月升級版

          大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
          計算機科學 2區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 2區(qū)

          2021年12月舊的升級版

          大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
          計算機科學 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 3區(qū)

          2021年12月基礎版

          大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
          工程技術 4區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 4區(qū)

          2021年12月升級版

          大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
          計算機科學 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 3區(qū)

          2020年12月舊的升級版

          大類學科 分區(qū) 小類學科 分區(qū) Top期刊 綜述期刊
          計算機科學 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機:軟件工程 3區(qū)
          名詞解釋:

          基礎版:即2019年12月17日,正式發(fā)布的《2019年中國科學院文獻情報中心期刊分區(qū)表》;將JCR中所有期刊分為13個大類,期刊范圍只有SCI期刊。

          升級版:即2020年1月13日,正式發(fā)布的《2019年中國科學院文獻情報中心期刊分區(qū)表升級版(試行)》,升級版采用了改進后的指標方法體系對基礎版的延續(xù)和改進,影響因子不再是分區(qū)的唯一或者決定性因素,也沒有了分區(qū)的IF閾值期刊由基礎版的13個學科擴展至18個,科研評價將更加明確。期刊范圍有SCI期刊、SSCI期刊。從2022年開始,分區(qū)表將只發(fā)布升級版結果,不再有基礎版和升級版之分,基礎版和升級版(試行)將過渡共存三年時間。

          JCR分區(qū)(2023-2024年最新版)

          JCR分區(qū)等級:Q4

          按JIF指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
          學科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 101 / 131

          23.3%

          按JCI指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
          學科:COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 103 / 131

          21.76%

          Gold OA文章占比 研究類文章占比 文章自引率
          64.71% 100.00% --
          開源占比 出版國人文章占比 OA被引用占比
          0.44... 0.02 --

          名詞解釋:JCR分區(qū)在學術期刊評價、科研成果展示、科研方向引導以及學術交流與合作等方面都具有重要的價值。通過對期刊影響因子的精確計算和細致劃分,JCR分區(qū)能夠清晰地反映出不同期刊在同一學科領域內的相對位置,從而幫助科研人員準確識別出高質量的學術期刊。

          CiteScore 指數(2024年最新版)

          CiteScore SJR SNIP CiteScore 指數
          1.7 0.484 0.847
          學科類別 分區(qū) 排名 百分位
          大類:Computer Science 小類:Software Q4 335 / 407

          17%

          名詞解釋:CiteScore是基于Scopus數據庫的全新期刊評價體系。CiteScore 2021 的計算方式是期刊最近4年(含計算年度)的被引次數除以該期刊近四年發(fā)表的文獻數。CiteScore基于全球最廣泛的摘要和引文數據庫Scopus,適用于所有連續(xù)出版物,而不僅僅是期刊。目前CiteScore 收錄了超過 26000 種期刊,比獲得影響因子的期刊多13000種。被各界人士認為是影響因子最有力的競爭對手。

          數據趨勢圖

          歷年中科院分區(qū)趨勢圖

          歷年IF值(影響因子)

          歷年引文指標和發(fā)文量

          歷年自引數據

          發(fā)文數據

          2019-2021年國家/地區(qū)發(fā)文量統(tǒng)計

          國家/地區(qū) 數量
          USA 22
          England 17
          GERMANY (FED REP GER) 14
          Scotland 9
          Belgium 6
          Netherlands 6
          Sweden 6
          France 5
          Australia 4
          Denmark 4

          2019-2021年機構發(fā)文量統(tǒng)計

          機構 數量
          UNIVERSITY OF EDINBURGH 8
          KU LEUVEN 5
          INRIA 4
          UNIVERSITY OF CAMBRIDGE 4
          UNIVERSITY OF NEW SOUTH WALES SYDNEY 4
          UNIVERSITY OF OXFORD 4
          DELFT UNIVERSITY OF TECHNOLOGY 3
          EBERHARD KARLS UNIVERSITY OF TUBINGEN 3
          IMPERIAL COLLEGE LONDON 3
          NORTHEASTERN UNIVERSITY 3

          2019-2021年文章引用數據

          文章引用名稱 引用次數
          Iris from the ground up A modular founda... 5
          The verified CakeML compiler backend 2
          Push versus pull-based loop fusion in qu... 2
          A theory of RPC calculi for client-serve... 2
          POPLMark reloaded: Mechanizing proofs by... 2
          On the expressive power of user-defined ... 2
          Systematic identification and communicat... 1
          The full-reducing Krivine abstract machi... 1
          Foundations of dependent interoperabilit... 1
          How to prove decidability of equational ... 0

          2019-2021年文章被引用數據

          被引用期刊名稱 數量
          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

          2019-2021年引用數據

          引用期刊名稱 數量
          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

          相關期刊

          免責聲明

          若用戶需要出版服務,請聯系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。