Journal of Logical and Algebraic Methods in Programming, Volume 136

Volume 136, January 2024

Regular articles

• 
  Rodrigo Raya, Viktor Kuncak:
  On algebraic array theories. 100906

Special issue Selected papers of ICFEM 2022

• 
  Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun:
  Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. 100907

Special issue Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022)

• 
  Jens Kosiol, Stefan John, Gabriele Taentzer:
  A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework. 100909

Special issue Interaction and Concurrency Experience

• 
  Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani:
  Branching pomsets: Design, expressiveness and applications to choreographies. 100919

Regular articles

• 
  Yuanrui Zhang, Zhiming Liu:
  A dynamic logic with branching modalities. 100921

Special issue Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

• 
  Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
  Control-data separation and logical condition propagation for efficient inference on probabilistic programs. 100922

Special issue on the 14th Conference on Reversible Computation (RC 2022)

• 
  Giacomo Maletto, Luca Roversi:
  Certifying expressive power and algorithms of reversible primitive permutations with Lean. 100923
• 
  Clément Aubert:
  The correctness of concurrencies in (reversible) concurrent calculi. 100924
• 
  Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello:
  Quantum encoding of dynamic directed graphs. 100925

Selected papers from 21st Workshop on Programming and Languages (PROLE 2022)

• 
  Salvador Lucas:
  Local confluence of conditional and generalized term rewriting systems. 100926

Regular articles

• 
  Abdelkrim Abdelli:
  Time distance-based computation of the DBM over-approximation of preemptive real-time systems. 100927

Selected papers from the 14th International Workshop on Rewriting Logic and its Application (WRLA 2022)

• 
  Francisco Durán, Nicolás Pozas, Camilo Rocha:
  Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. 100928