Proceedings of the Second International Workshop on Rewriting Logic and its Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Claude Kirchner, Hélène Kirchner
Proceedings of the Second International Workshop on Rewriting Logic and its Applications
WRLA-1998, 1998.

no DBLP info
Full names Links ISxN
	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.
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.
A core language for rewriting (EV, ZEAB), pp. 422–441.

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.