Santiago Escobar
Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications
WRLA, 2014.

@proceedings{WRLA-2014,
	address       = "Grenoble, France",
	doi           = "10.1007/978-3-319-12904-4",
	editor        = "Santiago Escobar",
	isbn          = "978-3-319-12903-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications}",
	volume        = 8663,
	year          = 2014,
}

Contents (16 items)

6 ×#maude
2 ×#framework
2 ×#modelling
2 ×#realtime
2 ×#semantics
2 ×#source code
2 ×#termination
2 ×#using

WRLA-2014-Duran #composition #domain-specific language

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.

WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.

WRLA-2014-Olveczky #maude #realtime

Real-Time Maude and Its Applications (PCÖ), pp. 42–79.

WRLA-2014-AguirreMPP #logic #maude

Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.

WRLA-2014-ArusoaieLRSSR

Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.

WRLA-2014-BaeM #infinity #model checking #using

Infinite-State Model Checking of LTLR Formulas Using Narrowing (KB, JM), pp. 113–129.

WRLA-2014-BartolettiMSZ #maude #modelling #verification

Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.

WRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using

Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.

WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network #realtime

A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.

WRLA-2014-LucasM #order #termination

Strong and Weak Operational Termination of Order-Sorted Rewrite Theories (SL, JM), pp. 178–194.

WRLA-2014-LucasM14a #2d #dependence #proving #termination

2D Dependency Pairs for Proving Operational Termination of CTRSs (SL, JM), pp. 195–212.

WRLA-2014-MossesV #component #named #semantics

FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.

WRLA-2014-Riesco #integration #maude

An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.

WRLA-2014-RochaMM #analysis #smt

Rewriting Modulo SMT and Open System Analysis (CR, JM, CAM), pp. 247–262.

WRLA-2014-SunM #fault tolerance #specification

Formal Specification of Button-Related Fault-Tolerance Micropatterns (MS, JM), pp. 263–279.

WRLA-2014-ZhangCO #framework #semantics #standard #𝕂

A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.