Journal of Logical and Algebraic Methods in Programming
Country: | Netherlands |
---|---|
Journal ISSN: | 2352-2208 |
Journal EISSN: | 2352-2216eissn |
History | 2014-ongoing |
Publisher | ELSEVIER SCIENCE INC |
Journal Hompage: | Link |
Note: |
Journal of Logical and Algebraic Methods in Programming
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 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.
Impact Factor Trend 2000 - 2025
The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric factor based on the yearly average number of citations on articles published by a particular journal in the last two years. In other words, the impact factor of 2024 - 2025 is the average of the number of cited publications divided by the citable publications of a journal. A journal impact factor is frequently used as a proxy for the relative importance of a journal within its field. Normally, journals with higher impact factors are often deemed to have more influence than those with lower ones. However, the science community has also noted that review articles typically are more citable than research articles.Here you can check the journal performance trends based on last 20 years of data, also check the latest journal citation reports 2025. Also Check H-Index, SCImago journal rank and journal impact factor 2025.
Read MoreImpact Factor History
Note: impact factor data for reference only
Any journal impact factor or scientometric indicator alone will not give you the full picture of a science journal. That’s why every year, scholars review current metrics to improve upon them and sometimes come up with new ones. There are also other factors to sider for example, H-Index, Self-Citation Ratio, SJR (SCImago Journal Rank Indicator) and SNIP (Source Normalized Impact per Paper). Researchers may also consider the practical aspect of a journal such as publication fees, acceptance rate, review speed.