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
Random radio Weblog