$2810
Article publishing charge
for open access
230 days
Submission to acceptance
6 days
Acceptance to publication
Editors-in-Chief
View full editorial boardRocco R. De Nicola, PhD
IMT School for Advanced Studies Lucca, Piazza S. Ponziano, 6, 55100, Lucca, Italy
Articles
Research articleAbstract onlyJune 2024
https://doi.org/10.1016/j.jlamp.2024.100963
Research articleAbstract onlyJune 2024
https://doi.org/10.1016/j.jlamp.2024.100964
Research articleAbstract onlyApril 2024
https://doi.org/10.1016/j.jlamp.2024.100953
Research articleAbstract onlyApril 2024
https://doi.org/10.1016/j.jlamp.2024.100944
More from Journal of Logical and Algebraic Methods in Programming
Calls for papers
Behavioural Types For Programming Languages
Guest editors: Antonio Ravara Submission deadline: 30 November 2023
Modern programming languages as Kotlin or Rust have advanced features to statically ensure data and memory safety, like nullable and ownership types. Other languages like C, Erlang, Go, Haskell, Java, or Scala, have static analysis tools to help …
Special issues and article collections
Logic and Type Theoretic Foundations of Concurrent and Distributed Systems
Edited by Dr. Ugo de' Liguoro (University of Turin, Torino, , Italy)
15 April 2024
Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022)
Edited by Nicolas Behr, Daniel Strüber
4 March 2024
Special issue on the 14th Conference on Reversible Computation (RC 2022)
Edited by Claudio Antares Mezzina
23 October 2023
Print ISSN: 2352-2208
Online ISSN: 2352-2216
Copyright © 2024 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.