中文簡介
《函數編程雜志》是唯一一本專門研究函數編程語言的設計、實現和應用的雜志,涵蓋了從數學理論到工業實踐的各個領域。主題包括功能語言和擴展、實現技術、推理和證明、程序轉換和合成、類型系統、類型理論、基于語言的安全性、內存管理、并行性和應用程序。專用軌道主要用于工具和應用、商業用途和教育;鼓勵使用珍珠型紙張。
英文簡介
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.
近年期刊自引率趨勢圖
JCR分區
JCR分區等級 | JCR所屬學科 | 分區 | 影響因子 |
Q3 | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Q3 | 1.543 |
近年期刊影響因子趨勢圖
CiteScore數值
CiteScore | SJR | SNIP | 學科類別 | 分區 | 排名 | 百分位 |
1.10 | 1.352 | 1.131 | 大類:Computer Science 小類:Software | Q4 | 345 / 398 |
13% |
相關工程技術SCI期刊推薦
copyright © www.56st48f.cn, All Rights Reserved
搜論文知識網 冀ICP備15021333號-3