Re: [q-lang-users] Q similar to Maude?

[Albert G. <Dr....@t-...>]

Greg Buchholz wrote:
>     Can anyone point me in the direction of documentation or papers
> which compare Q and the equational/term-rewriting language Maude
> (http://maude.cs.uiuc.edu/overview.html)?  Or am I mistaken to think
> there is a similarity between the two?

Q is very different from Maude. Maude clearly shows its heritage from 
the algebraic specification world and the OBJ system in particular. In 
contrast, Q uses dynamic typing, which is less safe but more convenient 
for "getting things done quickly". So while the focus of Maude is on 
executable specifications, Q is more of a "hacker's tool" for practical 
programming, akin to other modern scripting languages.

There are probably many more differences, but this is what I can say 
after taking a quick look at the Maude primer.

Albert

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikwissenschaft.uni-mainz.de/~ag