Spanish Maude Network
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
Show more
Show less
|
||
| 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 | ||
| Total amount: | 30,000 € | ||
| Principal Investigator: | Narciso Martí Oliet | ||
| Type of participation: | Team Member | ||