584 search results - page 3 / 117 » Logic Programs as term Rewriting Systems |
159
click to vote
LATA
2009
Springer
16 years 17 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
168
Voted
ECEASST
2008
15 years 5 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
149
Voted
ENTCS
2007
15 years 5 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...