Proceedings of the 12th 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

Vlad Rusu
Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications
WRLA, 2018.

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{WRLA-2018,
	doi           = "10.1007/978-3-319-99840-4",
	editor        = "Vlad Rusu",
	isbn          = "['978-3-319-99839-8', '978-3-319-99840-4']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications}",
	volume        = 11152,
	year          = 2018,
}

Contents (14 items)

WRLA-2018-GaravelTA
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition (HG, MAT, ISA), pp. 1–25.
WRLA-2018-Escobar
Multi-paradigm Programming in Maude (SE), pp. 26–44.
WRLA-2018-Riesco
MUnit: A Unit Framework for Maude (AR0), pp. 45–58.
WRLA-2018-MartinVM
Parameterized Programming for Compositional System Specification (ÓM, AV, NMO), pp. 59–75.
WRLA-2018-DuranRS
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (FD, CR, GS), pp. 76–97.
WRLA-2018-DuranEEMMT
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude (FD, SE, SE, NMO, JM, CLT), pp. 98–114.
WRLA-2018-OlartePR
Proving Structural Properties of Sequent Systems in Rewriting Logic (CO, EP, CR), pp. 115–135.
WRLA-2018-LiuOWM
Formal Modeling and Analysis of the Walter Transactional Data Store (SL0, PCÖ, QW0, JM), pp. 136–152.
WRLA-2018-GenetGHC
Extending Timbuk to Verify Functional Programs (TG, TG, TH, SLC), pp. 153–163.
WRLA-2018-Meseguer
Generalized Rewrite Theories and Coherence Completion (JM), pp. 164–183.
WRLA-2018-DuranMR
Proving Ground Confluence of Equational Specifications Modulo Axioms (FD, JM, CR), pp. 184–204.
WRLA-2018-DownenJA
Uniform Strong Normalization for Multi-discipline Calculi (PD, PJF, ZMA), pp. 205–225.
WRLA-2018-Ramirez0RV
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming (SR, MR0, CR, FV), pp. 226–244.
WRLA-2018-BoichutPR
Approximating Any Logic Program by a CS-Program (YB, VP, PR), pp. 245–260.

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.