Maude Web Interface

The Maude commands this platform currently supports are the following:

• Rewriting commands

  • reduce (may be abbreviated to red)
  • rewrite (may be abbreviated to rew)
  • frewrite (may be abbreviated to frew)
  • erewrite (may be abbreviated to erew)

• Matching commands

  • match
  • xmatch

• Searching commands

  • search

More information on the Maude system can be found in the following manual:

• Clavel, M., Durán, F., Eker, S., Escobar, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Rubio, R., & Talcott, C. (2024). Maude Manual, Version 3.4. University of Illinois at Urbana-Champaign. Available at https://maude.cs.illinois.edu/w/images/e/e9/Maude34manual.pdf.

  The syntax to be used is specified in the Appendix A which is available here in HTML format.