National Network on Maude

The Maude system is an implementation of rewriting logic developed at SRI International. It is based on rewriting logic and has been developed with a heavy emphasis on powerful metaprogramming based on reflection.  Despite being developed at the US, Maude has also an important community of Spanish researchers. Thus, this Spanish Maude network aims to foster the collaboration among all these Spanish researchers using Maude. and developing Maude-based solutions.

Project Reference Card

English Title: National Network on Maude
Original Title: Red Maude
Researcher's beneficiary organization: Universitat Politècnica de València
Other beneficiary organizations:
Universidad Complutense de Madrid
Duration: 36 months Start date: January 1, 2007
End date: December 31, 2009
Area: National Project type: Competitive R&D project
Funding entity: Ministerio de Educación y Ciencia
Reference: TIN2006-26882-E
Principal Investigator: Narciso Martí Oliet
Type of participation: Team Member