Journal of Logical and Algebraic Methods in Programming

Article	Citations
Exception-sensitive program slicing	17
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	16
Editorial Board	8
Bunch theory: Axioms, logic, applications and model	8
Maude2Lean: Theorem proving for Maude specifications using Lean	7
Editorial Board	7
Generation of algebraic data type values using evolutionary algorithms	6
ElixirST: A session-based type system for Elixir modules	6
Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar	6
Decomposing monolithic processes in a process algebra with multi-actions	6
Efficient analysis of belief properties in process algebra	5
Fair termination of multiparty sessions	5
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	5
Guest Editor's foreword	5
Time distance-based computation of the DBM over-approximation of preemptive real-time systems	5
Verification of the ROS NavFn planner using executable specification languages	5
The power of Tarski's relation algebra on trees	5
First order Büchi automata and their application to verification of LTL specifications	5
A model of systems with modes and mode transitions	4
Plotkin's call-by-value λ-calculus as a modal calculus	4
Logic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday	4
Editorial Board	4
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems	3
Back to the format: A survey on SOS for probabilistic processes	3
Coalgebraic tools for randomness-conserving protocols	3

An algebraic theory of nondeterministic finite automata	3
Semantics of quantum programming languages: Classical control, quantum control	3
Verification of mutable linear data structures and iterator-based algorithms in Dafny	3
A process calculus for privacy-preserving protocols in location-based service systems	3
Program slicing of Java programs	3
A dynamic logic with branching modalities	3
Composition of synchronous communicating systems	3
Relation-changing models meet paraconsistency	3
Program equivalence in a typed probabilistic call-by-need functional language	3
Advancing orchestration synthesis for contract automata	3
Optimization of rewrite theories by equational partial evaluation	3
Editorial Board	3
Expressive power and succinctness of the positive calculus of binary relations	3
From symbolic constraint automata to Promela	3
A type language for distributed reactive components governed by communication protocols	3
Trace preservation in B and Event-B refinements	3
Open compliance in multiparty sessions with partial typing	3
Capturing constrained constructor patterns in matching logic	2
Session-based concurrency in Maude: Executable semantics and type checking	2
Editorial Board	2
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting	2
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework	2
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models	2
Expressing discrete spatial relations under granularity	2
A memory-related vulnerability detection approach based on vulnerability model with Petri Net	2
Towards refinable choreographies	2
Probabilistic mediator: A coalgebraic perspective	2
Editorial message from the new Editor-in-Chief	2
Book review	2
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis	2
Monitorable hyperproperties of nonterminating systems	1
A framework for formal verification of robot kinematics	1
Belief base change as priority change: A study based on dynamic epistemic logic	1
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications	1
On difunctions	1
Towards a type-based abstract semantics for Python	1
A rewriting logic semantics for the analysis of P programs	1
A Perron–Frobenius theorem for deciding matrix growth	1
Formalizing CCS and π-calculus in Guarded Cubical Agda	1
Formalization of the inverse kinematics of three-fingered dexterous hand	1
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points	1
On proving that an unsafe controller is not proven safe	1
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification	1
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	1
bGSL: An imperative language for specification and refinement of backtracking programs	1
Monadic second-order incorrectness logic for GP 2	1
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency	1
Formal analysis of the application programming interface of the PVS verification system	1
Editorial Board	1
Observational interpretations of hybrid dynamic logic with binders and silent transitions	1

Comodule representations of second-order functionals	1
A formal model for blockchain-based consent management in data sharing	1
Program equivalence in an untyped, call-by-value functional language with uncurried functions	1
Hypergraph Lambek grammars	1
Partially typed multiparty sessions with internal delegation	1
Editorial Board	1
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks	1
Journal of Logical and Algebraic Methods in Programming – Publisher's Note 2025	1
Editorial Board	1
Quantum encoding of dynamic directed graphs	1
A formal framework for distributed cyber-physical systems	1
Location automata for synchronised shuffle expressions	1
Editorial Board	1
Formal models for consent-based privacy	1
A lightweight approach to smart contracts supporting safety, security, and privacy	1
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications	1
Editorial Board	1
Realizability modulo theories	1
Event structure semantics for multiparty sessions	1
Stone dualities from opfibrations	1
Metalevel transformation of strategies	1
Static checking of GDPR-related privacy compliance for object-oriented distributed systems	1
Editorial Board	1
A formal framework for security testing of automotive over-the-air update systems	1
Coherent modal transition systems refinement	1
Monk algebras and Ramsey theory	1
Secure information flow connections	1
A tableau construction for finite linear-time temporal logic	1
A distribution semantics for probabilistic term rewriting	1
Axiomatizing recursion-free, regular monitors	1
Editorial Board	0
Transforming concurrent programs with semaphores into logically constrained term rewrite systems	0
Proving and disproving confluence of context-sensitive rewriting	0
Formal lumping of polynomial differential equations through approximate equivalences	0
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3	0
Editorial Board	0
Determinization of inverted grammar programs via context-free expressions	0
Editorial Board	0
Efficient iterative programs with distributed data collections	0
A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems	0
Editorial Board	0
A probabilistic approximate logic for neuro-symbolic learning and reasoning	0
A tribute to José Manuel Valença	0
A formal semantics for agent distribution and fault tolerance in Jason	0
Specification of systems with parameterised events: An institution-independent approach	0
Towards the exact complexity of realizability for Safety LTL	0
Bridging formal methods and machine learning with model checking and global optimisation	0
Unification of drags and confluence of drag rewriting	0
Using Fixed Memory Blocks in GPUs to Accelerate SpMV Multiplication in Probabilistic Model Checkers	0
Partial arithmetical data types of rational numbers and their equational specification	0
An axiomatic approach to differentiation of polynomial circuits	0
Gaining trust by tracing security protocols	0
Succinct ordering and aggregation constraints in algebraic array theories	0
Editorial Board	0
Liquidity analysis in resource-aware programming	0
A formal treatment of the role of verified compilers in secure computation	0
Editorial Board	0
A logical account of subtyping for session types	0
Controlling stormwater detention ponds under partial observability	0
Fundamentals of compositional rewriting theory	0
An abstract framework for choreographic testing	0
Safety enforcement via programmable strategies in Maude	0
Hardware Trojan detection via rewriting logic	0
Associative unification in Maude	0
Editorial Board	0
Editorial Board	0
Specification and modelling of computing systems through graphs and graph transformation	0
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude	0
Determinism of multirelations	0
Composition of multilevel domain-specific modelling languages	0
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets	0
The Maude strategy language	0
Formalization and analysis of the post-quantum signature scheme FALCON with Maude	0
Transforming orthogonal inductive definition sets into confluent term rewrite systems	0
Editorial Board	0
Optimizing term rewriting with creeper trace transducers	0
On algebraic array theories	0
Protocol choice and iteration for the free cornering	0
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020	0
Session-typed concurrent contracts	0

Computational category-theoretic rewriting	0
Processes against tests: On defining contextual equivalences	0
Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms	0
Regular planar monoidal languages	0
Verification of data-aware process models: Checking soundness of data Petri nets	0
On the expressiveness and efficiency of guarded lists in Bach	0
A denotational semantics of Simulink with higher-order UTP	0
Components and acyclicity of graphs. An exercise in combining precision with concision	0
Graded epistemic logic with public announcement	0
Editorial Board	0
Runtime monitoring of 5G network slicing using STAn	0
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions	0
Formally verified animation for RoboChart using interaction trees	0
Tuning similarity-based fuzzy logic programs	0
Formal definitions and proofs for partial (co)recursive functions	0
Lifted structural invariant analysis of Petri net product lines	0
Comparing type systems for deadlock freedom	0
When causality meets fairness: A survey	0
A semantic model for interacting cyber-physical systems	0
Formalizing Moessner's theorem and generalizations in Nuprl	0
Editorial Board	0
Editorial Board	0
Editorial Board	0
Branching pomsets: Design, expressiveness and applications to choreographies	0
Corrigendum to “Runtime monitoring of 5G network slicing using STAn” [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]	0
Certifying expressive power and algorithms of reversible primitive permutations with Lean	0
Multiparty half-duplex systems and synchronous communications	0
Variants and satisfiability in the infinitary unification wonderland	0
The expression dependence graph	0
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives	0
Preface to the special issue on Open Problems in Concurrency Theory	0
Formal analysis of real-time systems with user-defined strategies in rewriting logic	0
Control-data separation and logical condition propagation for efficient inference on probabilistic programs	0
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021)	0
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes	0
The correctness of concurrencies in (reversible) concurrent calculi	0
Comparing session type systems derived from linear logic	0
Automated construction of security integrity wrappers for Industry 4.0 applications	0
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring	0
Evaluation diversity for graph conditions	0
Executable contracts for Elixir	0
Stit semantics for epistemic notions based on information disclosure in interactive settings	0
Local confluence of conditional and generalized term rewriting systems	0
Compositional equivalences based on open pNets	0
Operationally-based program equivalence proofs using LCTRSs	0
Event structures for the reversible early internal π-calculus	0
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL	0
Reversible computation in nets with bonds	0
Simulating and model checking membrane systems using strategies in Maude	0
Towards an efficient implementation of a tableau method for reactive safety specifications	0
Strategies, model checking and branching-time properties in Maude	0
A logical approach to graph databases	0
Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023)	0
Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020)	0
The generalised distribution semantics and projective families of distributions	0
Editorial Board	0
A computational framework based on the dynamic pipeline approach	0