TY  - BOOK
AU  - Ogata,Kazuhiro
AU  - Martí-Oliet,Narciso
ED  - SpringerLink (Online service)
TI  - Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783031659416
AV  - QA76.758 
U1  - 005.1 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Software engineering
KW  - Computer science
KW  - Machine theory
KW  - Computer engineering
KW  - Computer networks 
KW  - Mathematics
KW  - Discrete mathematics
KW  - Software Engineering
KW  - Computer Science Logic and Foundations of Programming
KW  - Formal Languages and Automata Theory
KW  - Computer Engineering and Networks
KW  - Discrete Mathematics in Computer Science
N1  -  -- Regular Papers.  -- Verifying Invariants by Deductive Model Checking.  -- Time-Bounded Resilience.  -- Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ.  -- Equivalence, and Property Internalization and Preservation for Equational Programs.  -- Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.  -- Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.  -- Timed Strategies for Real-Time Rewrite Theories.  -- Specifying Fairness Constraints and Model Checking with Non-intensional Strategies.  -- Tool Papers.  -- The hrewrite Library: a Term Rewriting Engine for Automatic Code Assembly.  -- A Flexible Framework for Integrating Maude and SMT Solvers Using Python.  -- Education Papers.  -- Teaching an Advanced Maude-based Formal Methods Course in Oslo
N2  - This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-65941-6
ER  -