Skip to main content
SpringerLink
Log in

Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Santiago Escobar

    1. Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València, Valencia, 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 8663)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WRLA 2014.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Composition of Graph-Transformation-Based DSL Definitions by Amalgamation

    • Francisco Durán
    Pages 1-20

  3. Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

    • Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
    Pages 21-41

  4. Real-Time Maude and Its Applications

    • Peter Csaba Ölveczky
    Pages 42-79

  5. Conditional Narrowing Modulo in Rewriting Logic and Maude

    • Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
    Pages 80-96

  6. Language Definitions as Rewrite Theories

    • Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Şerbănuţă, Andrei Ştefănescu, Grigore Roşu
    Pages 97-112

  7. Infinite-State Model Checking of LTLR Formulas Using Narrowing

    • Kyungmin Bae, José Meseguer
    Pages 113-129

  8. Modelling and Verifying Contract-Oriented Systems in Maude

    • Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
    Pages 130-146

  9. Towards Static Analysis of Functional Programs Using Tree Automata Completion

    • Thomas Genet
    Pages 147-161

  10. A Framework for Mobile Ad hoc Networks in Real-Time Maude

    • Si Liu, Peter Csaba Ölveczky, José Meseguer
    Pages 162-177

  11. Strong and Weak Operational Termination of Order-Sorted Rewrite Theories

    • Salvador Lucas, José Meseguer
    Pages 178-194

  12. 2D Dependency Pairs for Proving Operational Termination of CTRSs

    • Salvador Lucas, José Meseguer
    Pages 195-212

  13. FunKons: Component-Based Semantics in K

    • Peter D. Mosses, Ferdinand Vesely
    Pages 213-229

  14. An Integration of CafeOBJ into Full Maude

    • Adrián Riesco
    Pages 230-246

  15. Rewriting Modulo SMT and Open System Analysis

    • Camilo Rocha, José Meseguer, César Muñoz
    Pages 247-262

  16. Formal Specification of Button-Related Fault-Tolerance Micropatterns

    • Mu Sun, José Meseguer
    Pages 263-279

  17. A Formal Semantics of the OSEK/VDX Standard in \({\mathbb {K}}\) Framework and Its Applications

    • Min Zhang, Yunja Choi, Kazuhiro Ogata
    Pages 280-296

  18. Back Matter

    Pages 297-297
    Download chapter PDF
Back to top

Other volumes

  1. Rewriting Logic and Its Applications

Keywords

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.

The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems.

Editors and Affiliations

  • Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València, Valencia, Spain

    Santiago Escobar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation