[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
implementat</title></head><body>
<div>Thanks, Massimo.</div>
<div><br></div>
<blockquote type="cite" cite><br>
Do you have ever looked at Q? Unfortunately it's written in C:<br>
<br>
"Q - Equational Programming Language"</blockquote>
<blockquote type="cite" cite> -
http://www.musikwissenschaft.uni-mainz.de/~ag/q/</blockquote>
<div><br></div>
<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>
<div><br></div>
<blockquote type="cite" cite><br>
also, have a look at Funk, a minimalist (string) rewriting system<br>
(in C++):<br>
</blockquote>
<blockquote type="cite" cite> -
http://spcuna.spc.edu/~davis_d/computing/funk/html/index.html</blockquote
>
<div><br></div>
<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
sparse.</div>
<div><br></div>
<blockquote type="cite" cite>This paper is also interesting:<br>
<br>
"Equational Logic Programming"<br>
-
http://people.cs.uchicago.edu/~odonnell/OData/Technical_Papers/Equati<span
></span>onal_Programming/description.html<br>
<br>
In particular, chapter 4 "Algorithms and Data Structures"
(about</blockquote>
<blockquote type="cite" cite>implementation details).</blockquote>
<div><br></div>
<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>
<div><br></div>
<blockquote type="cite" cite>Another interesting link could be:<br>
<br>
"Rewriting Home Page"<br>
- http://www.loria.fr/~vigneron/RewritingHP/<br>
<br>
If you select "System" on the left, you can access a
"Database of<br>
Rewriting Systems".</blockquote>
<div><br></div>
<div>Very familiar.</div>
<div><br></div>
<blockquote type="cite" cite>I hope this helps. Best
regards.</blockquote>
<blockquote type="cite" cite><br>
-- <br>
Massimo Dentico</blockquote>
<div><br></div>
<div>It might. We'll see.</div>
<div>~<br>
</div>
</body>
</html>