Loading…
Loading…
Loading…
A rewriting logic semantics for the analysis of P programs
Durán, Francisco, Ramírez, Carlos, Rocha, Camilo, Pozas, Nicolás
Published in Journal of logical and algebraic methods in programming (01.03.2025)
Published in Journal of logical and algebraic methods in programming (01.03.2025)
Get full text
Journal Article
Loading…
Loading…
Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms
Nishida, Naoki, Kojima, Misaki, Kato, Takumi
Published in Journal of logical and algebraic methods in programming (01.05.2025)
Published in Journal of logical and algebraic methods in programming (01.05.2025)
Get full text
Journal Article
Loading…
Editorial message from the new Editor-in-Chief
Lluch Lafuente, Alberto
Published in Journal of logical and algebraic methods in programming (01.05.2025)
Published in Journal of logical and algebraic methods in programming (01.05.2025)
Get full text
Journal Article
Loading…
Journal of Logical and Algebraic Methods in Programming – Publisher's Note 2025
Published in Journal of logical and algebraic methods in programming
(01.05.2025)
Get full text
Journal Article
Loading…
Runtime monitoring of 5G network slicing using STAn
Panizo, Laura, Gallardo, María-del-Mar, Luque-Schempp, Francisco, Merino, Pedro
Published in Journal of logical and algebraic methods in programming (01.05.2025)
Published in Journal of logical and algebraic methods in programming (01.05.2025)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Formalization and analysis of the post-quantum signature scheme FALCON with Maude
García, Víctor, Escobar, Santiago, Ogata, Kazuhiro
Published in Journal of logical and algebraic methods in programming (01.02.2025)
Published in Journal of logical and algebraic methods in programming (01.02.2025)
Get full text
Journal Article
Loading…
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco
Published in Journal of logical and algebraic methods in programming (01.02.2016)
Published in Journal of logical and algebraic methods in programming (01.02.2016)
Get full text
Journal Article
Loading…
Formally verified animation for RoboChart using interaction trees
Ye, Kangfeng, Foster, Simon, Woodcock, Jim
Published in Journal of logical and algebraic methods in programming (01.02.2024)
Published in Journal of logical and algebraic methods in programming (01.02.2024)
Get full text
Journal Article
Loading…
Executable contracts for Elixir
Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Get full text
Journal Article
Loading…
Loading…
Tuning similarity-based fuzzy logic programs
Moreno, Ginés, Riaza, José A.
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Get full text
Journal Article
Loading…
Loading…
Realizability modulo theories
Rodríguez, Andoni, Sánchez, César
Published in Journal of logical and algebraic methods in programming (01.08.2024)
Published in Journal of logical and algebraic methods in programming (01.08.2024)
Get full text
Journal Article
Loading…
Open compliance in multiparty sessions with partial typing
Barbanera, Franco, Bono, Viviana, Dezani-Ciancaglini, Mariangiola
Published in Journal of logical and algebraic methods in programming (01.03.2025)
Published in Journal of logical and algebraic methods in programming (01.03.2025)
Get full text
Journal Article