default search action

combined dblp search
author search
venue search
publication search

ask others

WRLA 2010: Paphos, Cyprus (Satellite Event of ETAPS 2010)

> Home > Conferences and Workshops > WRLA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/2010
Peter Csaba Ölveczky:
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. Lecture Notes in Computer Science 6381, Springer 2010, ISBN 978-3-642-16309-8

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Shankar10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Shankar10
Natarajan Shankar:
Rewriting, Inference, and Proof. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Meseguer10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Meseguer10
José Meseguer:
Twenty Years of Rewriting Logic. 15-17

Termination and Narrowing

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/GutierrezL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/GutierrezL10
Raúl Gutiérrez, Salvador Lucas:
Proving Termination in the Context-Sensitive Dependency Pair Framework. 18-34
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/AlarconLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/AlarconLM10
Beatriz Alarcón, Salvador Lucas, José Meseguer:
A Dependency Pair Framework for A OR C-Termination. 35-51
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/EscobarSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/EscobarSM10
Santiago Escobar, Ralf Sasse, José Meseguer:
Folding Variant Narrowing and Optimal Variant Termination. 52-68

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/DuranM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/DuranM10
Francisco Durán, José Meseguer:
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/DuranM10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/DuranM10a
Francisco Durán, José Meseguer:
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. 86-103

The K Framework

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/SerbanutaR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/SerbanutaR10
Traian-Florin Serbanuta, Grigore Rosu:
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. 104-122
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/AsavoaeA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/AsavoaeA10
Irina Mariuca Asavoae, Mihail Asavoae:
Collecting Semantics under Predicate Abstraction in the K Framework. 123-139

Applications and Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/KatelmanKM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/KatelmanKM10
Michael Katelman, Sean Keller, José Meseguer:
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. 140-156
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/SunMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/SunMS10
Mu Sun, José Meseguer, Lui Sha:
A Formal Pattern Architecture for Safe Medical Systems. 157-173
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/RiveraDV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/RiveraDV10
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. 174-190
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Velardo10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Velardo10
Fernando Rosa-Velardo:
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. 191-207

Maude Model Checking and Debugging

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BaeM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BaeM10
Kyungmin Bae, José Meseguer:
The Linear Temporal Logic of Rewriting Maude Model Checker. 208-225
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/RiescoVM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/RiescoVM10
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Enhancing the Debugging of Maude Specifications. 226-242

Rewrite Engines

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/DuranRBBBCEEJK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/DuranRBBBCEEJK10
Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser:
The Third Rewrite Engines Competition. 243-261

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.