期刊信息

Journal of Logical and Algebraic Methods in Programming

请登录查看期刊网址

影响因子:
0.700
出版商:
Elsevier
ISSN:
2352-2208
浏览:
18881
关注:
1

征稿

Journal of Logical and Algebraic Methods in Programming is an academic journal published by Elsevier. (ISSN 2352-2208, impact factor 0.700).

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas. Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systems Researchers interested in acting as a guest editor should review the guest editor/proposal guidelines. The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.
最后更新 Dou Sun 在

相关期刊

CCF全称影响因子出版商ISSN
Computer Methods and Programs in Biomedicine4.8Elsevier0169-2607
Mathematical Programming2.5Springer0025-5610
Signal, Image and Video Processing2.1Springer1863-1703
International Journal for Numerical Methods in Fluids1.8Wiley-Blackwell0271-2091
bFormal Aspects of Computing1.4ACM0934-5043
bScience of Computer Programming1.4Elsevier0167-6423
cTheory and Practice of Logic Programming1.1Cambridge University Press1471-0684
International Journal of Parallel Programming0.9Springer0885-7458
Journal of Logical and Algebraic Methods in Programming0.700Elsevier2352-2208
bJournal of Functional Programming0.6Cambridge University Press0956-7968

相关会议

CCFCOREQUALIS简称全称截稿日期通知日期会议日期
aa2ESOPEuropean Symposium on Programming2026-10-152026-12-222027-04-10
cb1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
ab1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
a*ISSACInternational Symposium on Symbolic and Algebraic Computation2026-01-302026-05-012026-07-13
baa1ICALPInternational Colloquium on Automata, Languages and Programming2025-02-072025-04-142025-07-08
cbb2GMPGeometric Modeling and Processing2024-12-092025-04-142025-05-28
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2022-07-302022-09-302022-11-04
cbb1ILPInternational Conference on Inductive Logic Programming2021-06-252021-08-052021-10-25
b4MFPSInternational Conference on the Mathematical Foundations of Programming Semantics2015-04-032015-05-152015-06-22
ab1FLOPSInternational Symposium on Functional and Logic Programming2011-12-162012-02-032012-05-23

关注者
Xidong Jian (484)
惊喜