Maude Programming Language Help For Students

Introduction to Maude

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sub-language. Besides supporting equational specification and programming, Maude also supports rewriting logic computation. Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced meta-programming and metalanguage applications.

Example: Hello World!

protecting STRING .
  op helloworld : -> String .
  eq helloworld = "Hello, world!" .
red helloworld .

Compiler Download

To get started, see Download and install Q and follow the instructions.