国产主播一区二区三区在线观看|国产乱码精品一区二区三区四川人|A片V一区二区三区有声|国产精品自在线午夜精华播放|日本无码一区二区三区不卡免费|樱桃视频在线直播观看免费|欧美成人一区二区三区不卡视频

首頁 > SCI期刊 > 計算機科學 > 中科院3區(qū) > -> JCRQ4 > 期刊介紹
Journal Of Functional Programming 加入收藏

函數(shù)式編程雜志

SCIE

Journal Of Functional Programming

12周,或約稿 審稿時間

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

Q4JCR分區(qū)

1.1影響因子

0956-7968

1469-7653

J FUNCT PROGRAM

ENGLAND

計算機:軟件工程 - 工程技術

1991

47

Bimonthly

English

11

-

投稿咨詢 加急服務

期刊簡介

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

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

中科院分區(qū)信息

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

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

JCR分區(qū)信息

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

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

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

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

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

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

文章引用數(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

國家/地區(qū)發(fā)文數(shù)據(jù)

國家/地區(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

機構發(fā)文數(shù)據(jù)

機構名 數(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

相關期刊

常見問題

SCI期刊導航

免責聲明

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