Higher-Order and Symbolic Computation, Volume 20

Volume 20, Numbers 1-2, June 2007

Special Issue on Rewriting Logic and its Applications

Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott:
Editorial. 1-2
Electronic Edition (link) BibTeX
Iliano Cervesato, Mark-Oliver Stehr:
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. 3-35
Electronic Edition (link) BibTeX
Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-calculus of explicit constraint application. 37-72
Electronic Edition (link) BibTeX
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
A new generic scheme for functional logic programming with constraints. 73-122
Electronic Edition (link) BibTeX
José Meseguer, Prasanna Thati:
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. 123-160
Electronic Edition (link) BibTeX
Peter Csaba Ölveczky, José Meseguer:
Semantics and pragmatics of Real-Time Maude. 161-196
Electronic Edition (link) BibTeX

Olivier Danvy:
Editorial. 197-198
Electronic Edition (link) BibTeX
Jean-Louis Krivine:
A call-by-name lambda-calculus machine. 199-207
Electronic Edition (link) BibTeX
Pierre Crégut:
Strongly reducing variants of the Krivine abstract machine. 209-230
Electronic Edition (link) BibTeX
Mitchell Wand:
On the correctness of the Krivine machine. 231-235
Electronic Edition (link) BibTeX
Rémi Douence, Pascal Fradet:
The next 700 Krivine machines. 237-255
Electronic Edition (link) BibTeX
Frédéric Lang:
Explaining the lazy Krivine machine using explicit substitution and addresses. 257-270
Electronic Edition (link) BibTeX
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger:
Improving the lazy Krivine machine. 271-293
Electronic Edition (link) BibTeX
Sylvain Lippi:
The graphical Krivine machine. 295-318
Electronic Edition (link) BibTeX
David A. Schmidt:
State-transition machines for lambda-calculus expressions. 319-332
Electronic Edition (link) BibTeX
David A. Schmidt:
State-transition machines, revisited. 333-335
Electronic Edition (link) BibTeX

Olivier Danvy, Hayo Thielecke:
Editorial. 337-338
Electronic Edition (link) BibTeX
Yukiyoshi Kameyama:
Axioms for control operators in the CPS hierarchy. 339-369
Electronic Edition (link) BibTeX
Chung-chieh Shan:
A static simulation of dynamic delimited control. 371-401
Electronic Edition (link) BibTeX
Zena M. Ariola, Hugo Herbelin, Amr Sabry:
A proof-theoretic foundation of abortive continuations. 403-429
Electronic Edition (link) BibTeX
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen:
Implementation and use of the PLT scheme Web server. 431-460
Electronic Edition (link) BibTeX