Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

Maude

Description

The Maude folder contains the skeleton of an instance of Logic.Logic for Maude, see https://en.wikipedia.org/wiki/Maude_system

M. Codescu, T. Mossakowski, A. Riesco, and C. Maeder. Integrating Maude into Hets In M. Johnson and D. Pavlovic, editors, Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010). http://maude.sip.ucm.es/~adrian/files/hetsAMAST.pdf

Adrián Riesco Rodríguez: Declarative Debugging and Heterogeneous Specification in Maude, PhD thesis http://maude.sip.ucm.es/~adrian/files/thesis.pdf