GIGO: words unreadable aloud
Mishrogo Weedapeval
 

 

  Thursday 17 April 2003
Rewriting Logic and Maude

Here are a few Maude links to study. From the UIUC Maude page:

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.

The UIUC page about Rewriting Logic claims that over three hundred papers in this area have been published. I'll read some of the Maude-related ones over the next couple of weeks in order to determine (a) what's all the brouhaha about?, (b) is there actually a brouhaha?, and (c) what the heck is "Rewriting Logic" anyway?


11:22:09 PM   comment/     


Click here to visit the Radio UserLand website. Click to see the XML version of this web page. © Copyright 2007 Doug Landauer .
Last update: 07/2/6; 12:31:04 .
Click here to send an email to the editor of this weblog.

April 2003
Sun Mon Tue Wed Thu Fri Sat
    1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30      
Mar   May

Previous/Next