Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Peter Csaba Ölveczky

    1. Department of Informatics, University of Oslo, Oslo, Norway

    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 6381)

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

Included in the following conference series:

Conference proceedings info: WRLA 2010.

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 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

    Download chapter PDF

  2. Invited Talks

    1. Rewriting, Inference, and Proof

      • Natarajan Shankar
      Pages 1-14

    2. Twenty Years of Rewriting Logic

      • José Meseguer
      Pages 15-17

  3. Termination and Narrowing

    1. Proving Termination in the Context-Sensitive Dependency Pair Framework

      • Raúl Gutiérrez, Salvador Lucas
      Pages 18-34

    2. A Dependency Pair Framework for A ∨ C-Termination

      • Beatriz Alarcón, Salvador Lucas, José Meseguer
      Pages 35-51

    3. Folding Variant Narrowing and Optimal Variant Termination

      • Santiago Escobar, Ralf Sasse, José Meseguer
      Pages 52-68

  5. The K Framework

    1. K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

      • Traian Florin Şerbănuţă, Grigore Roşu
      Pages 104-122

    2. Collecting Semantics under Predicate Abstraction in the K Framework

      • Irina Măriuca Asăvoae, Mihail Asăvoae
      Pages 123-139

  6. Applications and Semantics

    1. Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits

      • Michael Katelman, Sean Keller, José Meseguer
      Pages 140-156

    2. A Formal Pattern Architecture for Safe Medical Systems

      • Mu Sun, José Meseguer, Lui Sha
      Pages 157-173

    3. On the Behavioral Semantics of Real-Time Domain Specific Visual Languages

      • José E. Rivera, Francisco Durán, Antonio Vallecillo
      Pages 174-190

    4. Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding

      • Fernando Rosa-Velardo
      Pages 191-207

  7. Maude Model Checking and Debugging

    1. The Linear Temporal Logic of Rewriting Maude Model Checker

      • Kyungmin Bae, José Meseguer
      Pages 208-225

    2. Enhancing the Debugging of Maude Specifications

      • Adrian Riesco, Alberto Verdejo, Narciso Martí-Oliet
      Pages 226-242

  8. Rewrite Engines

    1. The Third Rewrite Engines Competition

      • 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

    Download chapter PDF
Back to top

Other volumes

  1. Rewriting Logic and Its Applications

Keywords

Editors and Affiliations

  • Department of Informatics, University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation