Interactive Maude

IMaude is a set of Maude Modules to be used in conjuction with the Maude system and the IOP platform to program interactive Maude applications.

The file IMaude2-2.zip unzips as the IMaude2-2 directory, with a README file explaining the contents. The directory contains the IMaude modules, some simple examples, and documentation.

Papers

• IOP: The InterOperability Platform and IMaude: An Interactive Extension of Maude by Ian A. Mason and Carolyn L. Talcott. From Fifth International Workshop on Rewriting Logic and Its Applications (WRLA'2004). Elsevier. 2004.