Talk:Maude system

What is Maude?

What is this Maude system? Is it some sort of mathematical programming language, a particular software program which is an implementation of such a language, or both smooshed together (a language whose only instantiation is this program)? --Gwern (contribs) 21:50, 14 November 2006 (UTC)

Both. It's a language specification with an interpreter and runtime environment. There were some plans of a Maude compiler, but I don't know the current state of affairs. Ambarish 00:50, 18 January 2007 (UTC)

Examples

I think that the 'mod's should really be 'fmod's. No rules are present. --92.196.72.115 (talk) 16:42, 2 January 2010 (UTC)

Example 2 and following

I think that the example 2 is not correct. The operator '+' is not a constructor. It is a defined function, defined by the equations below. —The preceding unsigned comment was added by 80.144.247.224 (talk) 11:23, 23 February 2007 (UTC).

Constructors in Maude do not have to be free, they can be indeed be governed by additional equations (see the Maude manual). 218.166.161.142 14:10, 15 April 2007 (UTC)

Yes, but + is not a constructor of the natural numbers. A natural number is 0 or S(N:Nat), the term N1:Nat + N2:Nat is not a Nat (though it will reduce to one.) Taemyr 19:51, 25 May 2007 (UTC)

Should $eq 0 + s(N) = s(N)$ be replaced by $eq 0 + N = N$? Otherwise how to calculate 0+0? Alexei Kopylov (talk) 23:18, 25 May 2010 (UTC)

Fix'd. Taemyr (talk) 07:14, 26 May 2010 (UTC)

Rewriting Maude

Maude is an interesting system that warrants an article that is well-written, up-to-date and otherwise in line with existing model checking standards.

I've already done some work cleaning it up but I could use a more trained hand!

ZephyrP (talk) 21:41, 3 June 2016 (UTC)