Grigore Rosu
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications
WRLA-2008, 2009.

@proceedings{WRLA-2008,
	editor        = "Grigore Rosu",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications}",
	volume        = 238,
	year          = 2009,
}

Contents (16 items)

7 ×#maude
3 ×#equation
2 ×#calculus
2 ×#implementation
2 ×#logic
2 ×#proving
2 ×#semantics

WRLA-2008-AgrigoroaieiC09 #logic #specification

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (OA, GC), pp. 5–22.

WRLA-2008-AndreiL09 #calculus #proving

Strategy-Based Proof Calculus for Membrane Systems (OA, DL), pp. 23–43.

WRLA-2008-BruniLM09 #design #maude

Hierarchical Design Rewriting with Maude (RB, ALL, UM), pp. 45–62.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

WRLA-2008-DuranO09 #implementation #maude #realtime

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.

WRLA-2008-EscobarMS09 #equation #unification

Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.

WRLA-2008-GoriacCLAG09 #maude #metalanguage

Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.

WRLA-2008-HassN09 #abstraction #equation

Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.

WRLA-2008-Hills09 #logic #memory management #semantics

Memory Representations in Rewriting Logic Semantics Definitions (MH0), pp. 155–172.

WRLA-2008-HolenJW09 #calculus #first-order #maude #proving

Proof Search for the First-Order Connection Calculus in Maude (BH, EBJ, AW), pp. 173–188.

WRLA-2008-HolzlMW09 #constraints #question

Which Soft Constraints do you Prefer? (MMH, MM, MW), pp. 189–205.

WRLA-2008-LucasM09 #equation #order #source code #termination

Operational Termination of Membership Equational Programs: the Order-Sorted Way (SL, JM), pp. 207–225.

WRLA-2008-Marti-OlietMV09 #maude #semantics

A Rewriting Semantics for Maude Strategies (NMO, JM, AV), pp. 227–247.

WRLA-2008-RiescoV09 #implementation #maude #protocol

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol (AR, AV), pp. 249–266.

WRLA-2008-Rodriguez09

Combining Techniques to Reduce State Space and Prove Strong Properties (DER), pp. 267–280.

WRLA-2008-DuranRBBEKKMSV09 #contest

The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.