Journal of Logic and Algebraic Programming

Aims & Scope

Continued as 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.

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• A brief account of runtime verification

  Citation: 612

  Authors: Martin, Christian

• An overview of the K semantic framework

  Citation: 297

  Authors: Grigore, Traian Florin

• The origins of structural operational semantics

  Citation: 220

  Authors: Gordon D

• Twenty years of rewriting logic

  Citation: 167

  Authors: José

• Automated verification of selected equivalences for security protocols

  Citation: 157

  Authors: Bruno, Martín, Cédric

• A pi-calculus based semantics for WS-BPEL

  Citation: 140

  Authors: Roberto, Manuel

• Reversing algebraic process calculi

  Citation: 121

  Authors: Iain, Irek

• A structural approach to operational semantics

  Citation: 119

  Authors:

• Modular structural operational semantics

  Citation: 117

  Authors: Peter D

• Linear parametric model checking of timed automata

  Citation: 108

  Authors: Thomas, Judi, Mariëlle, Frits