## Claude Kirchner, Hélène Kirchner

*Proceedings of the Second International Workshop on Rewriting Logic and its Applications*

WRLA-1998, 1998.

@proceedings{WRLA-1998, editor = "Claude Kirchner and Hélène Kirchner", journal = "{Electronic Notes in Theoretical Computer Science}", title = "{Proceedings of the Second International Workshop on Rewriting Logic and its Applications}", volume = 15, year = 1998, }

### Contents (26 items)

- WRLA-1998-BorovanskyC #constraints #process #theorem proving #using
- Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
- WRLA-1998-Viry #calculus #equation
- Adventures in sequent calculus modulo equations (PV), pp. 21–32.
- WRLA-1998-MeseguerT #logic
- Mapping OMRS to rewriting logic (JM, CLT), pp. 33–54.
- WRLA-1998-BorovanskyKKMR #overview
- An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.
- WRLA-1998-Clavel #logic #maude
- Reflection in general logics, rewriting logic, and Maude (MC), pp. 71–82.
- WRLA-1998-StegglesK #case study #logic #protocol #semantics
- A timed rewriting logic semantics for SDL: A case study of alternating bit protocol (LJS, PK), pp. 83–104.
- WRLA-1998-Denker #logic
- From rewrite theories to temporal logic theories (GD), pp. 105–126.
- WRLA-1998-GiunchigliaBC #state of the art
- The OMRS project: state of the art (FG, PB, AC), pp. 127–146.
- WRLA-1998-ClavelDELMMQ #maude #metalanguage
- Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
- WRLA-1998-Bruni #composition #concurrent #logic
- A logic for modular descriptions of asynchronous and synchronized concurrent systems (RB), pp. 161–172.
- WRLA-1998-BorovanskyJMR #source code
- Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.
- WRLA-1998-DuranM #algebra #maude
- An extensible module algebra for Maude (FD, JM), pp. 174–195.
- WRLA-1998-Schorlemmer #logic
- Rewriting logic as a logic of special relations (WMS), pp. 196–217.
- WRLA-1998-BrandKV #term rewriting
- Term rewriting for sale (MvdB, PK, CV), pp. 218–241.
- WRLA-1998-MatsumotoF #automation #behaviour #induction #testing #towards #verification
- Test set coinduction — Toward automated verification of behavioural properties (MM, KF), pp. 242–262.
- WRLA-1998-BruniMM #implementation
- Internal strategies in a rewriting implementation of tile systems (RB, JM, UM), pp. 263–284.
- WRLA-1998-DiaconescuF #overview
- An overview of CafeOBJ (RD, KF), pp. 285–298.
- WRLA-1998-Borovansky #implementation
- Controlling rewriting: study and implementation of a strategy formalism (PB), pp. 299–310.
- WRLA-1998-Eker #evaluation #term rewriting
- Term rewriting with operator evaluation strategies (SE), pp. 311–330.
- WRLA-1998-ClavelDELMM #maude
- Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
- WRLA-1998-BasinM
- Scoped metatheorems (DAB, SM), pp. 353–366.
- WRLA-1998-CarabettaDG #logic #semantics
- CCS semantics via proved transition systems and rewriting logic (GC, PD, FG), pp. 369–387.
- WRLA-1998-Jouannaud #calculus #equation #induction #logic
- Membership equational logic, calculus of inductive instructions, and rewrite logic (JPJ), pp. 388–393.
- WRLA-1998-Lechner #distributed #object-oriented #specification
- Object-oriented specification of distributed systems (UL), pp. 394–403.
- WRLA-1998-Mosses #composition #logic #semantics
- Semantics, modularity, and rewriting logic (PDM), pp. 404–421.
- WRLA-1998-VisserB
- A core language for rewriting (EV, ZEAB), pp. 422–441.

9 ×#logic

4 ×#maude

3 ×#semantics

2 ×#bibliography

2 ×#calculus

2 ×#composition

2 ×#equation

2 ×#implementation

2 ×#induction

2 ×#term rewriting

4 ×#maude

3 ×#semantics

2 ×#bibliography

2 ×#calculus

2 ×#composition

2 ×#equation

2 ×#implementation

2 ×#induction

2 ×#term rewriting