[Q] Experience with equational rewrite implementation in OOP?

Brian Rice water@tunes.org
Sat Mar 23 16:59:06 2002

<!x-stuff-for-pete id="0">
<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { margin-top: 0 ; margin-bottom: 0 }
 --></style><title>Re: [Q] Experience with equational rewrite
<div>Thanks, Massimo.</div>
<blockquote type="cite" cite><br>
Do you have ever looked at Q? Unfortunately it's written in C:<br>
&quot;Q - Equational Programming Language&quot;</blockquote>
<blockquote type="cite" cite>&nbsp; -
<div>I've looked at the Haskell implementations, which have a
restricted version, and trying to grok a big algorithm system written
in C is not fun.</div>
<blockquote type="cite" cite><br>
also, have a look at Funk, a minimalist (string) rewriting system<br>
(in C++):<br>
<blockquote type="cite" cite>&nbsp; -
<div>I've been meaning to look at that. It looks pretty damn tiny, and
the theory looks decent enough. Too bad the documentation's a little
<blockquote type="cite" cite>This paper is also interesting:<br>
&quot;Equational Logic Programming&quot;<br>
&nbsp; -
In particular, chapter 4 &quot;Algorithms and Data Structures&quot;
<blockquote type="cite" cite>implementation details).</blockquote>
<div>I have to feel pretty silly about this one. I mean, it's right in
my papers/rewrite folder :) But I definitely forgot that it talked
about that. Thanks.</div>
<blockquote type="cite" cite>Another interesting link could be:<br>
&quot;Rewriting Home Page&quot;<br>
&nbsp; - http://www.loria.fr/~vigneron/RewritingHP/<br>
If you select &quot;System&quot; on the left, you can access a
&quot;Database of<br>
Rewriting Systems&quot;.</blockquote>
<div>Very familiar.</div>
<blockquote type="cite" cite>I hope this helps. Best
<blockquote type="cite" cite><br>
-- <br>
Massimo Dentico</blockquote>
<div>It might. We'll see.</div>