日本免费精品视频,男人的天堂在线免费视频,成人久久久精品乱码一区二区三区,高清成人爽a毛片免费网站

在線客服
Journal Of Functional Programming
人氣:48

Journal Of Functional Programming SCIE

  • ISSN:0956-7968
  • 出版商:Cambridge University Press
  • 出版語言:English
  • E-ISSN:1469-7653
  • 出版地區(qū):ENGLAND
  • 是否預(yù)警:
  • 創(chuàng)刊時(shí)間:1991
  • 出版周期:Bimonthly
  • TOP期刊:
  • 影響因子:1.1
  • 是否OA:未開放
  • CiteScore:1.7
  • H-index:47
  • 研究類文章占比:100.00%
  • Gold OA文章占比:64.71%
  • 開源占比:0.4407
  • 出版國(guó)人文章占比:0.02
  • 國(guó)際標(biāo)準(zhǔn)簡(jiǎn)稱:J FUNCT PROGRAM
  • 涉及的研究方向:計(jì)算機(jī):軟件工程-工程技術(shù)
  • 中文名稱:函數(shù)式編程雜志
  • 預(yù)計(jì)審稿周期: 12周,或約稿
國(guó)內(nèi)分區(qū)信息:

大類學(xué)科:計(jì)算機(jī)科學(xué)  中科院分區(qū)  3區(qū)

國(guó)際分區(qū)信息:

JCR學(xué)科:COMPUTER SCIENCE, SOFTWARE ENGINEERING  JCR分區(qū)  Q4

  • 影響因子:1.1
  • Gold OA文章占比:64.71%
  • CiteScore:1.7
  • 研究類文章占比:100.00%
  • 開源占比:0.4407
  • 出版國(guó)人文章占比:0.02

推薦合適期刊 投稿指導(dǎo) 助力快速見刊免費(fèi)咨詢

Journal Of Functional Programming 期刊簡(jiǎn)介

Journal Of Functional Programming是計(jì)算機(jī)科學(xué)領(lǐng)域的一本優(yōu)秀期刊。由Cambridge University Press出版社出版。該期刊主要發(fā)表計(jì)算機(jī)科學(xué)領(lǐng)域的原創(chuàng)性研究成果。創(chuàng)刊于1991年,該期刊主要刊載計(jì)算機(jī):軟件工程-工程技術(shù)及其基礎(chǔ)研究的前瞻性、原始性、首創(chuàng)性研究成果、科技成就和進(jìn)展。該期刊不僅收錄了該領(lǐng)域的科技成就和進(jìn)展,更以其深厚的學(xué)術(shù)積淀和卓越的審稿標(biāo)準(zhǔn),確保每篇文章都具備高度的學(xué)術(shù)價(jià)值。此外,該刊同時(shí)被SCIE數(shù)據(jù)庫收錄,并被劃分為中科院SCI3區(qū)期刊,它始終堅(jiān)持創(chuàng)新,不斷專注于發(fā)布高度有價(jià)值的研究成果,不斷推動(dòng)計(jì)算機(jī)科學(xué)領(lǐng)域的進(jìn)步。

同時(shí),我們注重來稿文章表述的清晰度,以及其與我們的讀者群體和研究領(lǐng)域的相關(guān)性。為此,我們期待所有投稿的文章能夠保持簡(jiǎn)潔明了、組織有序、表述清晰。該期刊平均審稿速度為平均 12周,或約稿 。若您對(duì)于稿件是否適合該期刊存在疑慮,建議您在提交前主動(dòng)與期刊主編取得聯(lián)系,或咨詢本站的客服老師。我們的客服老師將根據(jù)您的研究?jī)?nèi)容和方向,為您推薦最為合適的期刊,助力您順利投稿,實(shí)現(xiàn)學(xué)術(shù)成果的順利發(fā)表。

Journal Of Functional Programming 期刊國(guó)內(nèi)分區(qū)信息

中科院分區(qū) 2023年12月升級(jí)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī):軟件工程 2區(qū)
中科院分區(qū) 2022年12月升級(jí)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 2區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī):軟件工程 2區(qū)
中科院分區(qū) 2021年12月舊的升級(jí)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī):軟件工程 3區(qū)
中科院分區(qū) 2021年12月基礎(chǔ)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
工程技術(shù) 4區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī):軟件工程 4區(qū)
中科院分區(qū) 2021年12月升級(jí)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī):軟件工程 3區(qū)
中科院分區(qū) 2020年12月舊的升級(jí)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī):軟件工程 3區(qū)

Journal Of Functional Programming 期刊國(guó)際分區(qū)信息(2023-2024年最新版)

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

23.3%

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

21.76%

CiteScore指數(shù)(2024年最新版)

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

17%

期刊評(píng)價(jià)數(shù)據(jù)趨勢(shì)圖

中科院分區(qū)趨勢(shì)圖
期刊影響因子和自引率趨勢(shì)圖

發(fā)文統(tǒng)計(jì)

年發(fā)文量統(tǒng)計(jì)
年份 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023
年發(fā)文量 13 18 19 24 18 16 19 28 12 11
國(guó)家/地區(qū)發(fā)文量統(tǒng)計(jì)
國(guó)家/地區(qū) 數(shù)量
USA 22
England 17
GERMANY (FED REP GER) 14
Scotland 9
Belgium 6
Netherlands 6
Sweden 6
France 5
Australia 4
Denmark 4
機(jī)構(gòu)發(fā)文量統(tǒng)計(jì)
機(jī)構(gòu) 數(shù)量
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

高引用文章

文章名稱 引用次數(shù)
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 0

免責(zé)聲明

若用戶需要出版服務(wù),請(qǐng)聯(lián)系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。

友情鏈接