Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications
WRLA-J-2004, 2007.

@proceedings{WRLA-J-2004,
	editor        = "Narciso Martí-Oliet and Grigore Rosu and Carolyn L. Talcott",
	journal       = "{Higher-Order and Symbolic Computation}",
	number        = "1-2",
	title         = "{Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications}",
	volume        = 20,
	year          = 2007,
}

Contents (5 items)

2 ×#constraints

WRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.

WRLA-J-2004-CirsteaFK07 #calculus #constraints

A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.

WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming

A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.

WRLA-J-2004-MeseguerT07 #analysis #encryption #protocol #reachability #using #verification

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (JM, PT), pp. 123–160.

WRLA-J-2004-OlveczkyM07 #maude #realtime #semantics

Semantics and pragmatics of Real-Time Maude (PCÖ, JM), pp. 161–196.