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
  • 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

Riviste e collane

Riviste e collane / Viste

Home
— nuvole
tag

Rivista

Journal of Logical and Algebraic Methods in Programming

— acronimo

JLAMP

— editore

Elsevier B.V.

URL & ID

home page

— Scopus

21100403130

— ISSN stampato

2352-2208

https://www.scimagojr.com/journal_img.php?id=21100403130

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY