Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

TCS
no DBLP info
Scholar
Full names Links ISxN
@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)

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.

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.