Journal of Logical and Algebraic Methods in Programming

Journal of Logical and Algebraic Methods in Programming

  • Volume 6
  • Issue 6
  • ISSN 2352-2208
  • SCImago Journal Rank (SJR): 0.371
  • Source Normalized Impact per Paper (SNIP): 1.183
  • Impact Factor: 0.581
  • Five Year Impact Factor: 0.588
Editor-in-chief:

Subscription options

Sales tax will be calculated at check-out
Subscription length
Print - Annual Subscription
(Jan - Dec 2021)
Next planned ship date: Dec 06, 2021

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.

Product details

  • SCImago Journal Rank (SJR): 0.371
  • Source Normalized Impact per Paper (SNIP): 1.183
  • Impact Factor: 0.581
  • Five Year Impact Factor: 0.588
  • ISSN: 2352-2208
  • Issues: 6
  • Volume: 6
Editorial board

Author services

Prepare your article for submission

Celebrate your publication

Additional services

Publication schedule

Issue volumeIssue yearPlanned ship dateActual ship date
118C2021Dec 07, 2020Nov 26, 2020
119C2021Feb 12, 2021Feb 09, 2021
120C2021Mar 26, 2021Mar 12, 2021
121C2021Jun 04, 2021Jun 01, 2021
122C2021Jul 29, 2021Jul 20, 2021
123C2021Oct 08, 2021Oct 01, 2021
124C2022Dec 06, 2021
125C2022Feb 14, 2022
126C2022Mar 28, 2022
127C2022Jun 06, 2022
128C2022Jul 29, 2022
129C2022Oct 10, 2022
130C2023Dec 06, 2022