Tools developed for the reflective programming language Maude

  • New commands for Maude:

  • Redefinition of Maude commands for on-demand evaluation:

    The four tools can be made available at the same time in Maude with the following Maude file normOnDemand-eval-redOnDemand.maude, the UNIX shell file fmaude-normOnDemand-evalOnDemand, and the appropriate Maude files of the previous tools.

    © Copyright

    Unless otherwise noted, we hold copyright in all materials created by us, and allow general use under the ``copyleft'' terms of the GNU General Public License for software and the Open Content License for text. Essentially, you may use our copyright materials freely as long as you acknowledge our authorship and copyright. You may create variant and derivative works as long as you are accurate in attributing our contribution. You may redistribute our work, variants, and derivatives as long as you pass on the full license that we grant to you with every copy.