Skip to main content
Springer Nature Link
Log in

Rewriting Logic and Its Applications

9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Franciso Durán

    1. Departamento de Lenguajes y Ciencias de la Computacíon, E.T.S.I Informática, Universidad de Málaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: WRLA 2012.

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 39.99
Price excludes VAT (USA)
  • Available as 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 the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

Similar content being viewed by others

Keywords

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Rigorous Component-Based System Design

    • Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
    Pages 1-9

  3. Program Analysis Scenarios in Rascal

    • Mark Hills, Paul Klint, Jurgen J. Vinju
    Pages 10-30

  4. \(\mathbb{K}\) Framework Distilled

    • Dorel Lucanu, Traian Florin Şerbănuţă, Grigore Roşu
    Pages 31-53

  5. Design and Analysis of Cloud-Based Architectures with KLAIM and Maude

    • Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer
    Pages 54-82

  6. Making Maude Definitions More Interactive

    • Andrei Arusoaie, Traian Florin Şerbănuţă, Chucky Ellison, Grigore Roşu
    Pages 83-98

  7. Model Checking LTLR Formulas under Localized Fairness

    • Kyungmin Bae, José Meseguer
    Pages 99-117

  8. Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

    • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
    Pages 118-138

  9. Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude

    • Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
    Pages 139-161

  10. Order-Sorted Equality Enrichments Modulo Axioms

    • Raúl Gutiérrez, José Meseguer, Camilo Rocha
    Pages 162-181

  11. Timed CTL Model Checking in Real-Time Maude

    • Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
    Pages 182-200

  12. Using Narrowing to Test Maude Specifications

    • Adrián Riesco
    Pages 201-220

  13. A Rule-Based Framework for Building Superposition-Based Decision Procedures

    • Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
    Pages 221-239

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Rewriting Logic and Its Applications

Editors and Affiliations

  • Departamento de Lenguajes y Ciencias de la Computacíon, E.T.S.I Informática, Universidad de Málaga, Málaga, Spain

    Franciso Durán

Bibliographic Information

Publish with us

Policies and ethics

Back to top