Rewriting Logic and Its Applications

8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

  • Peter Csaba Ölveczky
Conference proceedings WRLA 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Natarajan Shankar
      Pages 1-14
    2. José Meseguer
      Pages 15-17
  3. Termination and Narrowing

    1. Raúl Gutiérrez, Salvador Lucas
      Pages 18-34
    2. Beatriz Alarcón, Salvador Lucas, José Meseguer
      Pages 35-51
    3. Santiago Escobar, Ralf Sasse, José Meseguer
      Pages 52-68
  4. Tools

  5. The K Framework

    1. Traian Florin Şerbănuţă, Grigore Roşu
      Pages 104-122
    2. Irina Măriuca Asăvoae, Mihail Asăvoae
      Pages 123-139
  6. Applications and Semantics

    1. Michael Katelman, Sean Keller, José Meseguer
      Pages 140-156
    2. Mu Sun, José Meseguer, Lui Sha
      Pages 157-173
    3. José E. Rivera, Francisco Durán, Antonio Vallecillo
      Pages 174-190
  7. Maude Model Checking and Debugging

    1. Kyungmin Bae, José Meseguer
      Pages 208-225
    2. Adrian Riesco, Alberto Verdejo, Narciso Martí-Oliet
      Pages 226-242
  8. Rewrite Engines

    1. Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy et al.
      Pages 243-261
  9. Back Matter

About these proceedings

Keywords

Debugging LA Rewriting logic concurrency concurrent systems distributed systems first-order logics higher-order logics interactive systems mobile systems modal logics object-oriented systems open ended systems parallel systems parallelism

Editors and affiliations

  • Peter Csaba Ölveczky
    • 1
  1. 1.Department of InformaticsUniversity of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16310-4
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16309-8
  • Online ISBN 978-3-642-16310-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book