## 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)

- 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.