Skip to main content
Springer Nature Link
Log in

Rewriting Logic and Its Applications

15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Kazuhiro Ogata

    1. Japan Advanced Institute of Science and Technology, Nomi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Narciso Martí-Oliet

    1. Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14953)

Included in the following conference series:

Conference proceedings info: WRLA 2024.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Keywords

Table of contents (11 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Regular Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Verifying Invariants by Deductive Model Checking

      • Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
      Pages 3-21

    3. Time-Bounded Resilience

      • Tajana Ban Kirigin, Jesse Comer, Max Kanovich, Andre Scedrov, Carolyn Talcott
      Pages 22-44

    4. Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ

      • Duong Dinh Tran, Kazuhiro Ogata
      Pages 45-61

    5. Equivalence, and Property Internalization and Preservation for Equational Programs

      • José Meseguer
      Pages 62-83

    6. Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude

      • Canh Minh Do, Kazuhiro Ogata
      Pages 84-103

    7. Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic

      • Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
      Pages 104-123

    8. Timed Strategies for Real-Time Rewrite Theories

      • Carlos Olarte, Peter Csaba Ölveczky
      Pages 124-144

    9. Specifying Fairness Constraints and Model Checking with Non-intensional Strategies

      • Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
      Pages 145-162

  3. Tool Papers

    1. Front Matter

      Pages 163-163
      Download chapter PDF

    2. The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly

      • Michael Lienhardt
      Pages 165-178

    3. A Flexible Framework for Integrating Maude and SMT Solvers Using Python

      • Geunyeol Yu, Kyungmin Bae
      Pages 179-192

  4. Education Papers

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Teaching an Advanced Maude-Based Formal Methods Course in Oslo

      • Peter Csaba Ölveczky
      Pages 195-207

  5. Back Matter

    Pages 209-209
    Download chapter PDF
Back to top

Other volumes

  1. Rewriting Logic and Its Applications

Editors and Affiliations

  • Japan Advanced Institute of Science and Technology, Nomi, Japan

    Kazuhiro Ogata

  • Universidad Complutense de Madrid, Madrid, Spain

    Narciso Martí-Oliet

Bibliographic Information

Publish with us

Policies and ethics

Back to top