63 search results - page 1 / 13 » Comparing Meseguer's Rewriting Logic with the Logic CRWL |
ENTCS
2002
14 years 10 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
101
click to vote
JUCS
2006
14 years 10 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
ENTCS
2002
14 years 10 months ago
2002