727 search results - page 19 / 146 » A Method for Implementing Equational Theories as Logic Progr... |
168
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
145
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
We present a new method and system, called IGOR2, for the induction of recursive functional programs from few nonrecursive, possibly non-ground example equations describing a subse...
171
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...