Reflection in Rewriting Logic

Brian Rice water@tscnet.com
Fri, 21 Apr 2000 19:47:18 -0700


At 09:19 PM 4/20/00 -0400, Youlian Troyanov wrote:
>At least sounds cool ;)
>
>Youlian
>
>
>http://www.cup.org/ObjectBuilder/ObjectBuilder.iwx?ProcessName=ProductPage&M
>erchant_Id=1&page=books&Section_Id=&pcount=&product_id=1-57586-238-7&origin=
>relatedISBN

Just take a look at the papers on Maude (an equational re-write logical 
language) at http://maude.csl.sri.com/. Take particular note of how Maude 
can be used as a meta-language quite naturally and there's even a way to 
implement full Maude from a small core subset. Also, Maude has an 
extensible module algebra specified in the language itself, which is 
interesting in its own right. All of this is described fairly well.

There's a very natural notation for rewrite logic using the lambda 
calculus, although equations make it a bit more complex. And, yes, 
rewriting plays a heavy part in my ideas with Slate, although most of it is 
behind-the-scenes, so to speak.

Yes, rewriting is cool.

~