×

zbMATH — the first resource for mathematics

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. (English) Zbl 1197.68017
Lecture Notes in Computer Science 6381. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). x, 263 p. (2010).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Shankar, Natarajan, Rewriting, inference, and proof, 1-14 [Zbl 1306.68089]
Meseguer, José, Twenty years of rewriting logic, 15-17 [Zbl 1306.68082]
Gutiérrez, Raúl; Lucas, Salvador, Proving termination in the context-sensitive dependency pair framework, 18-34 [Zbl 1306.68072]
Alarcón, Beatriz; Lucas, Salvador; Meseguer, José, A dependency pair framework for \(A \vee C\)-termination, 35-51 [Zbl 1306.68060]
Escobar, Santiago; Sasse, Ralf; Meseguer, José, Folding variant narrowing and optimal variant termination, 52-68 [Zbl 1306.68069]
Durán, Francisco; Meseguer, José, A Church-Rosser checker tool for conditional order-sorted equational Maude specifications, 69-85 [Zbl 1306.68065]
Durán, Francisco; Meseguer, José, A Maude coherence checker tool for conditional order-sorted rewrite theories, 86-103 [Zbl 1306.68066]
Şerbănuţă, Traian Florin; Roşu, Grigore, K-Maude: a rewriting based tool for semantics of programming languages, 104-122 [Zbl 1306.68088]
Asăvoae, Irina Măriuca; Asăvoae, Mihail, Collecting semantics under predicate abstraction in the K framework, 123-139 [Zbl 1306.68061]
Katelman, Michael; Keller, Sean; Meseguer, José, Concurrent rewriting semantics and analysis of asynchronous digital circuits, 140-156 [Zbl 1306.68078]
Sun, Mu; Meseguer, José; Sha, Lui, A formal pattern architecture for safe medical systems, 157-173 [Zbl 1306.68090]
Rivera, José E.; Durán, Francisco; Vallecillo, Antonio, On the behavioral semantics of real-time domain specific visual languages, 174-190 [Zbl 1306.68086]
Rosa-Velardo, Fernando, Multiset rewriting: a semantic framework for concurrency with name binding, 191-207 [Zbl 1306.68124]
Bae, Kyungmin; Meseguer, José, The linear temporal logic of rewriting Maude model checker, 208-225 [Zbl 1306.68099]
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso, Enhancing the debugging of Maude specifications, 226-242 [Zbl 1306.68085]
Durán, Francisco; Roldán, Manuel; Bach, Jean-Christophe; Balland, Emilie; van den Brand, Mark; Cordy, James R.; Eker, Steven; Engelen, Luc; de Jonge, Maartje; Kalleberg, Karl Trygve; Kats, Lennart C. L.; Moreau, Pierre-Etienne; Visser, Eelco, The third rewrite engines competition, 243-261 [Zbl 1306.68067]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q42 Grammars and rewriting systems
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
PicoSAT; PVS
PDF BibTeX XML Cite
Full Text: DOI