Narciso Martí-Oliet, José Meseguer
Special Issue of the First International Workshop on Rewriting Logic and its Applications
WRLA-J-1996, 2002.

@proceedings{WRLA-J-1996,
	editor        = "Narciso Martí-Oliet and José Meseguer",
	journal       = "{Theor. Comput. Sci}",
	number        = 2,
	title         = "{Special Issue of the First International Workshop on Rewriting Logic and its Applications}",
	volume        = 285,
	year          = 2002,
}

Contents (11 items)

9 ×#logic
3 ×#specification
2 ×#maude
2 ×#object-oriented

WRLA-J-1996-Marte-OlietM02 #logic #overview #roadmap

Rewriting logic: roadmap and bibliography (NMO, JM), pp. 121–154.

WRLA-J-1996-BorovanskyKKM02 #logic #perspective

ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.

WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification

Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.

WRLA-J-1996-ClavelM02 #logic

Reflection in conditional rewriting logic (MC, JM), pp. 245–288.

WRLA-J-1996-DiaconescuF02 #logic

Logical foundations of CafeOBJ (RD, KF), pp. 289–318.

WRLA-J-1996-GadducciM02 #calculus #logic

Comparing logics for rewriting: rewriting logic, action calculi and tile logic (FG, UM), pp. 319–358.

WRLA-J-1996-OlveczkyM02 #hybrid #logic #realtime #specification

Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.

WRLA-J-1996-PitaM02 #maude #network #object-oriented #specification

A Maude specification of an object-oriented model for telecommunication networks (IP, NMO), pp. 407–439.

WRLA-J-1996-Talcott02 #logic

Actor theories in rewriting logic (CLT), pp. 441–485.

WRLA-J-1996-Viry02 #equation #logic

Equational rules for rewriting logic (PV), pp. 487–517.

WRLA-J-1996-WirsingK02 #approach #formal method #object-oriented #re-engineering

A formal approach to object-oriented software engineering (MW, AK), pp. 519–560.