Peter Csaba Ölveczky
Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications
WRLA, 2010.

@proceedings{WRLA-2010,
	address       = "Paphos, Cyprus",
	doi           = "10.1007/978-3-642-16310-4",
	editor        = "Peter Csaba Ölveczky",
	isbn          = "978-3-642-16309-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications}",
	volume        = 6381,
	year          = 2010,
}

Contents (16 items)

5 ×#semantics
4 ×#framework
4 ×#maude
2 ×#concurrent
2 ×#dependence
2 ×#logic
2 ×#order
2 ×#proving
2 ×#specification
2 ×#termination

WRLA-2010-Shankar #proving

Rewriting, Inference, and Proof (NS), pp. 1–14.

WRLA-2010-Meseguer #logic

Twenty Years of Rewriting Logic (JM), pp. 15–17.

WRLA-2010-GutierrezL #dependence #framework #proving #termination

Proving Termination in the Context-Sensitive Dependency Pair Framework (RG, SL), pp. 18–34.

WRLA-2010-AlarconLM #dependence #framework

A Dependency Pair Framework for A OR C-Termination (BA, SL, JM), pp. 35–51.

WRLA-2010-EscobarSM #termination

Folding Variant Narrowing and Optimal Variant Termination (SE, RS, JM), pp. 52–68.

WRLA-2010-DuranM #equation #maude #order #specification

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.

WRLA-2010-DuranM10a #maude #order

A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.

WRLA-2010-SerbanutaR #named #programming language #semantics

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.

WRLA-2010-AsavoaeA #abstraction #framework #semantics #𝕂

Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.

WRLA-2010-KatelmanKM #analysis #concurrent #semantics

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (MK, SK, JM), pp. 140–156.

WRLA-2010-SunMS #architecture

A Formal Pattern Architecture for Safe Medical Systems (MS, JM, LS), pp. 157–173.

WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation

On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.

WRLA-2010-Velardo #concurrent #framework #multi #semantics

Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding (FRV), pp. 191–207.

WRLA-2010-BaeM #linear #logic #maude #model checking

The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.

WRLA-2010-RiescoVM #debugging #maude #specification

Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.

WRLA-2010-DuranRBBBCEEJK #contest

The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.