Aim & Scope
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. [1]
Continuations / Journal History
( 2001 - 2014 ) | Journal of Logic and Algebraic Programming | ( 2014 - 9999 ) | Journal of Logical and Algebraic Methods in Programming |
2024
Trace preservation in B and Event-B refinements
No authors listed.
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100943.
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
No authors listed.
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100944.
Regular Planar Monoidal Languages
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100963.
Fair Termination of Multiparty Sessions
L Ciccone , F Dagnino , L Padovani
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100964.
CRYSTAL Framework: Cybersecurity Assurance for Cyber-Physical Systems
F Moradi , S Abbaspour Asadollah , B Pourvatan , ... , M Sirjani
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100965.
A Computational Framework based on the Dynamic Pipeline Approach
E Pasarella , M Vidal , C Zoltan , J Royo Sales
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100966.
A Framework for Formal Verification of Robot Kinematics
Journal of Logical and Algebraic Methods in Programming , 2024 , p 100972.