Journal of Logical and Algebraic Methods in Programming

Journal of Logical and Algebraic Methods in Programming - ISSN 2352-2208
Source Normalized Impact per Paper (SNIP): 1.177 Source Normalized Impact per Paper (SNIP):
SNIP measures contextual citation impact by weighting citations based on the total number of citations in a subject field.
SCImago Journal Rank (SJR): 0.308 SCImago Journal Rank (SJR):
SJR is a prestige metric based on the idea that not all citations are the same. SJR uses a similar algorithm as the Google page rank; it provides a quantitative and a qualitative measure of the journal’s impact.
Impact Factor: 0.692 (2016) Impact Factor:
The Impact Factor measures the average number of citations received in a particular year by papers published in the journal during the two preceding years.
© Thomson Reuters Journal Citation Reports 2015
5 Year Impact Factor: 0.692 (2016) Five-Year Impact Factor:
To calculate the five year Impact Factor, citations are counted in 2014 to the previous five years and divided by the source items published in the previous five years.
© Journal Citation Reports 2015, Published by Thomson Reuters
Volumes: Volumes 86-93
Issues: 8 issues
ISSN: 23522208

Institutional Subscription

Tax/VAT will be calculated at check-out
eJournal
This journal does not feature personal pricing and is not available for personal subscription.

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

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.