Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.