Search Results - "Journal of logical and algebraic methods in programming"

Corrigendum to 'Runtime monitoring of 5G network slicing using STAn' [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]

Authors: Laura Panizo María-del-Mar Gallardo Francisco Luque-Schempp et al.

Source: Journal of Logical and Algebraic Methods in Programming. 146:101062

Journal of Logical and Algebraic Methods in Programming – Publisher's Note 2025

Source: Journal of Logical and Algebraic Methods in Programming. 145:101058

Journal of Logical and Algebraic Methods in Programming / Trace preservation in B and Event-B refinements

Authors: Stock, Sebastian Mashkoor, Atif Leuschel, Michael et al.

File Description: text/html

Relation: vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-26675/128; local:99149316835003331; system:AC17588518

Availability: https://doi.org/10.1016/j.jlamp.2024.100943
https://epub.jku.at/doi/10.1016/j.jlamp.2024.100943
https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-26675

Journal of logical and algebraic methods in programming / A Perron-Frobenius theorem for deciding matrix growth

Authors: Thiemann, René

Subject Terms: Complexity, Isabelle, HOL, Spectral radius

Subject Geographic: UI:MI:IK

File Description: text/html

Relation: vignette : https://ulb-dok.uibk.ac.at/titlepage/urn/urn:nbn:at:at-ubi:3-25430/128; local:99146776239903331; system:AC16538267

Availability: https://doi.org/10.1016/j.jlamp.2021.100699
https://ulb-dok.uibk.ac.at/doi/10.1016/j.jlamp.2021.100699
https://resolver.obvsg.at/urn:nbn:at:at-ubi:3-25430

Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue

Authors: Seceleanu, Cristina Pettersson, Paul

Index Terms: Computer Systems, Datorsystem, Conference proceedings (editor), info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35436

Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue

Contributors: Seceleanu, Cristina, Editor Pettersson, Paul, Editor

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35436

THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Authors: Balzer, Stephanie Padovani, Luca

Contributors: Balzer, Stephanie Padovani, Luca

Subject Terms: programming languages, concurrency, communication-centric software

Relation: journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; https://hdl.handle.net/11585/996962

Availability: https://hdl.handle.net/11585/996962

Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018

Authors: Loulergue, Frédéric Northern Arizona University Flagstaff Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) et al.

Contributors: Loulergue, Frédéric Northern Arizona University Flagstaff Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) et al.

Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://hal.science/hal-03102811 ; Journal of Logical and Algebraic Methods in Programming, 116, pp.100580, 2020, ⟨10.1016/j.jlamp.2020.100580⟩.

Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Availability: https://hal.science/hal-03102811
https://doi.org/10.1016/j.jlamp.2020.100580

Comparing session type systems derived from linear logic

Authors: van den Heuvel, Bas Pérez, Jorge A.

Source: van den Heuvel, B & Pérez, J A 2025, 'Comparing session type systems derived from linear logic', Journal of Logical and Algebraic Methods in Programming, vol. 142, 101004.

Index Terms: Concurrency, Linear logic, Session types, article

URL: https://research.rug.nl/en/publications/4d105e1c-83df-4f60-a8eb-09729cba5a12
https://doi.org/10.1016/j.jlamp.2024.101004
https://hdl.handle.net/11370/4d105e1c-83df-4f60-a8eb-09729cba5a12
https://pure.rug.nl/ws/files/1106817189/1-s2.0-S2352220824000580-main.pdf
https://www.scopus.com/pages/publications/85202210429
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2024.101004
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/4d105e1c-83df-4f60-a8eb-09729cba5a12
info:eu-repo/semantics/altIdentifier/pissn/2352-2208
info:eu-repo/semantics/altIdentifier/eissn/2352-2216

A distribution semantics for probabilistic term rewriting

Authors: Vidal Oriola, Germán Francisco European Commission Generalitat Valenciana et al.

Contributors: Vidal Oriola, Germán Francisco European Commission Generalitat Valenciana et al.

Subject Terms: Term rewriting, Probability, Semantics, Modeling

File Description: application/pdf

Relation: Journal of Logical and Algebraic Methods in Programming; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-104735RB-C41/ES/SAFER-UPV: ANALISIS Y VALIDACION DE SOFTWARE Y RECURSOS WEB/; info:eu-repo/grantAgreement/EC/H2020/952215/EU/Integrating Reasoning, Learning and Optimization/; info:eu-repo/grantAgreement/GVA//CIPROM%2F2022%2F6//Tecnologías de Aprendizaje y Razonamiento Rápido y Lento/; https://doi.org/10.1016/j.jlamp.2025.101070; https://riunet.upv.es/handle/10251/223162

Availability: https://riunet.upv.es/handle/10251/223162
https://doi.org/10.1016/j.jlamp.2025.101070

Formalization and analysis of the post-quantum signature scheme FALCON with Maude

Authors: García Valero, Víctor Escobar Román, Santiago Ogata, Kazuhiro et al.

Contributors: García Valero, Víctor Escobar Román, Santiago Ogata, Kazuhiro et al.

Subject Terms: Formal methods, Post-quantum, Signature scheme, FALCON, Maude

File Description: application/pdf

Relation: Journal of Logical and Algebraic Methods in Programming; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PCI2020-120708-2/ES/FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS/; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2021-122830OB-C42/ES/METODOS FORMALES ESCALABLES PARA APLICACIONES REALES/; info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//CIPROM%2F2022%2F6//TECNOLOGIAS DE APRENDIZAJE Y RAZONAMIENTO RAPIDO Y LENTO/; info:eu-repo/grantAgreement/JSPS//24KK0185/; https://doi.org/10.1016/j.jlamp.2024.101034; https://riunet.upv.es/handle/10251/220201

Availability: https://riunet.upv.es/handle/10251/220201
https://doi.org/10.1016/j.jlamp.2024.101034

Efficient Iterative Programs with Distributed Data Collections

Authors: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

Contributors: Chlyah, Sarah Gesbert, Nils Genevès, Pierre et al.

Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-04108082 ; Journal of Logical and Algebraic Methods in Programming, 2025, 144, pp.1-36. ⟨10.1016/j.jlamp.2025.101047⟩.

Subject Terms: distributed data collections, Efficient, optimization, rewrite rules, fixpoint operator, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Availability: https://inria.hal.science/hal-04108082
https://inria.hal.science/hal-04108082v1/document
https://inria.hal.science/hal-04108082v1/file/paper.pdf
https://doi.org/10.1016/j.jlamp.2025.101047

Transforming concurrent programs with semaphores into logically constrained term rewrite systems

Authors: Kojima, Misaki Nishida, Naoki Matsubara, Yutaka et al.

Contributors: Kojima, Misaki Nishida, Naoki Matsubara, Yutaka et al.

Source: Journal of Logical and Algebraic Methods in Programming ; volume 143, page 101033 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2024.101033
https://api.elsevier.com/content/article/PII:S2352220824000877?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000877?httpAccept=text/plain

Open compliance in multiparty sessions with partial typing

Authors: Barbanera, Franco Bono, Viviana Dezani-Ciancaglini, Mariangiola

Source: Journal of Logical and Algebraic Methods in Programming ; volume 144, page 101046 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2025.101046
https://api.elsevier.com/content/article/PII:S2352220825000124?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220825000124?httpAccept=text/plain

The expression dependence graph

Authors: Galindo, Carlos Pérez, Sergio Silva, Josep et al.

Contributors: Galindo, Carlos Pérez, Sergio Silva, Josep et al.

Source: Journal of Logical and Algebraic Methods in Programming ; volume 142, page 101016 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2024.101016
https://api.elsevier.com/content/article/PII:S2352220824000701?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000701?httpAccept=text/plain

Tuning similarity-based fuzzy logic programs

Authors: Moreno, Ginés Riaza, José A. State Agency of Research

Contributors: Moreno, Ginés Riaza, José A. State Agency of Research

Source: Journal of Logical and Algebraic Methods in Programming ; volume 142, page 101020 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2024.101020
https://api.elsevier.com/content/article/PII:S2352220824000749?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000749?httpAccept=text/plain

Towards a type-based abstract semantics for Python

Authors: Nacu, Andrei

Source: Journal of Logical and Algebraic Methods in Programming ; volume 143, page 101032 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2024.101032
https://api.elsevier.com/content/article/PII:S2352220824000865?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000865?httpAccept=text/plain

Maude2Lean: Theorem proving for Maude specifications using Lean

Authors: Rubio, Rubén Riesco, Adrián Comunidad de Madrid et al.

Contributors: Rubio, Rubén Riesco, Adrián Comunidad de Madrid et al.

Source: Journal of Logical and Algebraic Methods in Programming ; volume 142, page 101005 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2024.101005
https://api.elsevier.com/content/article/PII:S2352220824000592?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000592?httpAccept=text/plain

Partially typed multiparty sessions with internal delegation

Authors: Barbanera, Franco Bono, Viviana Dezani-Ciancaglini, Mariangiola et al.

Contributors: Barbanera, Franco Bono, Viviana Dezani-Ciancaglini, Mariangiola et al.

Source: Journal of Logical and Algebraic Methods in Programming ; volume 142, page 101018 ; ISSN 2352-2208

Availability: https://doi.org/10.1016/j.jlamp.2024.101018
https://api.elsevier.com/content/article/PII:S2352220824000725?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000725?httpAccept=text/plain

Composition of multilevel domain-specific modelling languages

Authors: Rodríguez, Alejandro Macias Gomez de Villar, Fernando Durán, Francisco et al.

Source: 100831 ; Journal of Logical and Algebraic Methods in Programming ; 130

File Description: application/pdf

Relation: https://hdl.handle.net/11250/3049722; https://doi.org/10.1016/j.jlamp.2022.100831; cristin:2113660; Journal of Logical and Algebraic Methods in Programming. 2023, 130, 100831.

Availability: https://hdl.handle.net/11250/3049722
https://doi.org/10.1016/j.jlamp.2022.100831