中文簡(jiǎn)介
《函數(shù)編程雜志》是唯一一本專門研究函數(shù)編程語(yǔ)言的設(shè)計(jì)、實(shí)現(xiàn)和應(yīng)用的雜志,涵蓋了從數(shù)學(xué)理論到工業(yè)實(shí)踐的各個(gè)領(lǐng)域。主題包括功能語(yǔ)言和擴(kuò)展、實(shí)現(xiàn)技術(shù)、推理和證明、程序轉(zhuǎn)換和合成、類型系統(tǒng)、類型理論、基于語(yǔ)言的安全性、內(nèi)存管理、并行性和應(yīng)用程序。專用軌道主要用于工具和應(yīng)用、商業(yè)用途和教育;鼓勵(lì)使用珍珠型紙張。
英文簡(jiǎn)介
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. Special tracks are devoted to tools and applications, commercial uses and education; pearl-type papers are encouraged.
近年期刊自引率趨勢(shì)圖
JCR分區(qū)
JCR分區(qū)等級(jí) | JCR所屬學(xué)科 | 分區(qū) | 影響因子 |
Q3 | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Q3 | 1.543 |
近年期刊影響因子趨勢(shì)圖
CiteScore數(shù)值
CiteScore | SJR | SNIP | 學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
1.10 | 1.352 | 1.131 | 大類:Computer Science 小類:Software | Q4 | 345 / 398 |
13% |
相關(guān)工程技術(shù)SCI期刊推薦
SCI期刊欄目
SCI期刊 工程技術(shù) 物理 生物 化學(xué) 醫(yī)學(xué) 農(nóng)林科學(xué) 數(shù)學(xué) 地學(xué)天文 地學(xué) 環(huán)境科學(xué)與生態(tài)學(xué) 綜合性期刊 管理科學(xué) 社會(huì)科學(xué)
期刊論文百科問(wèn)答
copyright © m.56st48f.cn, All Rights Reserved
搜論文知識(shí)網(wǎng) 冀ICP備15021333號(hào)-3