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

  • Santiago Escobar
Conference proceedings WRLA 2014

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8663)

Table of contents

  1. Front Matter
    Pages I-X
  2. Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
    Pages 21-41
  3. Peter Csaba Ölveczky
    Pages 42-79
  4. Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
    Pages 80-96
  5. Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Şerbănuţă, Andrei Ştefănescu, Grigore Roşu
    Pages 97-112
  6. Kyungmin Bae, José Meseguer
    Pages 113-129
  7. Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
    Pages 130-146
  8. Si Liu, Peter Csaba Ölveczky, José Meseguer
    Pages 162-177
  9. Salvador Lucas, José Meseguer
    Pages 195-212
  10. Peter D. Mosses, Ferdinand Vesely
    Pages 213-229
  11. Adrián Riesco
    Pages 230-246
  12. Camilo Rocha, José Meseguer, César Muñoz
    Pages 247-262
  13. Back Matter
    Pages 297-297

About these proceedings


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.


Cloud computing Conditional term rewriting Distributed systems Formal analysis Formal semantics Full maude Infinite-state systems Integration Irreducible terms Maude Metalevel Model checking Narrowing Normalized terms Operational termination Program analysis Rewriting logic Strong operational termination Unification Weak operational termination

Editors and affiliations

  • Santiago Escobar
    • 1
  1. 1.Departamento de Sistemas Informáticos y ComputaciónUniversitat Politècnica de ValènciaValenciaSpain

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-12903-7
  • Online ISBN 978-3-319-12904-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software