Higher-Order and Symbolic Computation
Volume 20, Issue 1/2 (2007)
|
Editorial
Narciso Martí-Oliet, Grigore Rosu, and Carolyn Talcott [editorial] |
|
|
Representing the MSR Cryptoprotocol Specification
Language in an Extension of Rewriting Logic with Dependent
Types
Iliano Cervesato and Mark-Oliver Stehr [abstract] |
|
|
A rho-Calculus of Explicit Constraint Application
Horatiu Cirstea, Germain Faure, and Claude Kirchner [abstract] |
|
|
A New Generic Scheme for Functional Logic Programming
with Constraints
Francisco J. López Fraguas, Mario Rodríguez Artalejo, and Rafael del Vado Vírseda [abstract] |
|
|
Symbolic Reachability Analysis Using Narrowing and its
Application to Verification of Cryptographic Protocols
José Meseguer and Prasanna Thati [abstract] |
|
|
Semantics and Pragmatics of Real-Time Maude
Peter Csaba Olveczky and José Meseguer [abstract] |