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)

9 ×#logic
4 ×#maude
3 ×#semantics
2 ×#bibliography
2 ×#calculus
2 ×#composition
2 ×#equation
2 ×#implementation
2 ×#induction
2 ×#term rewriting

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.