欧洲成人午夜精品无码区久久_久久精品无码专区免费青青_av无码电影一区二区三区_各种少妇正面着bbw撒尿视频_中文精品久久久久国产网址

首頁 > JCRQ4 > 期刊介紹
Journal Of Functional Programming 加入收藏

函數(shù)式編程雜志 SCIE

Journal Of Functional Programming

12周,或約稿 審稿時(shí)間

3區(qū)中科院分區(qū)

Q4JCR分區(qū)

1.1影響因子

0956-7968

1469-7653

J FUNCT PROGRAM

ENGLAND

計(jì)算機(jī):軟件工程 - 工程技術(shù)

1991

47

Bimonthly

English

11

--

投稿咨詢 加急服務(wù)

期刊簡(jiǎn)介

函數(shù)式編程雜志(Journal Of Functional Programming)是一本由Cambridge University Press出版的一本計(jì)算機(jī):軟件工程-工程技術(shù)學(xué)術(shù)刊物,主要報(bào)道計(jì)算機(jī):軟件工程-工程技術(shù)相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊,該刊創(chuàng)刊于1991年,出版周期Bimonthly。2021-2022年最新版WOS分區(qū)等級(jí):Q4,2023年發(fā)布的影響因子為1.1,CiteScore指數(shù)1.7,SJR指數(shù)0.484。本刊非開放獲取期刊。

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

中科院分區(qū)信息

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

中科院JCR期刊分區(qū)(又稱分區(qū)表、分區(qū)數(shù)據(jù))是中國(guó)科學(xué)院文獻(xiàn)情報(bào)中心世界科學(xué)前沿分析中心的科學(xué)研究成果。在中科院期刊分區(qū)表中,主要參考3年平均IF作為學(xué)術(shù)影響力,最終每個(gè)分區(qū)的期刊累積學(xué)術(shù)影響力是相同的,各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。

JCR分區(qū)信息

Journal Of Functional Programming(2023-2024年最新版數(shù)據(jù))
按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%
名詞解釋:

湯森路透每年出版一本《期刊引用報(bào)告》(Journal Citation Reports,簡(jiǎn)稱JCR)。JCR對(duì)86000多種SCI期刊的影響因子(Impact Factor)等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個(gè)不同學(xué)科類別在JCR的Journal Ranking中,主要參考當(dāng)年IF,最終每個(gè)分區(qū)的期刊數(shù)量是均分的。

期刊數(shù)據(jù)統(tǒng)計(jì)

1、Cite Score(2024年最新版)
學(xué)科類別 分區(qū) 排名 百分位
大類:Computer Science 小類:Software Q4 335 / 407
17%
名詞解釋:

CiteScore:該指標(biāo)由Elsevier于2016年提出,指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是:例如,某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù),除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。

2、綜合數(shù)據(jù)
3、本刊綜合數(shù)據(jù)對(duì)比及走勢(shì)

文章引用數(shù)據(jù)

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

期刊被引用數(shù)據(jù)

期刊名稱 引用次數(shù)
  • 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

期刊引用數(shù)據(jù)

期刊名稱 引用次數(shù)
  • 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

國(guó)家/地區(qū)發(fā)文數(shù)據(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ā)文數(shù)據(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

相關(guān)期刊

常見問題

SCI期刊導(dǎo)航

免責(zé)聲明

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