Difference between revisions of "The Maude System:About"
From The Maude System
(Created page with "Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. The...") |
|||
Line 3: | Line 3: | ||
The system was originally developed at SRI International, CA, USA. The current components of the Maude team are: | The system was originally developed at SRI International, CA, USA. The current components of the Maude team are: | ||
− | Francisco Durán (University of Málaga, Spain) | + | * Francisco Durán (University of Málaga, Spain) |
− | Steven Eker (SRI International, CA, USA) | + | * Steven Eker (SRI International, CA, USA) |
− | Santiago Escobar (Universitat Politècnica de València, Spain) | + | * Santiago Escobar (Universitat Politècnica de València, Spain) |
− | Patrick Lincoln (SRI International, CA, USA) | + | * Patrick Lincoln (SRI International, CA, USA) |
− | Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain) | + | * Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain) |
− | José Meseguer (University of Illinois at Urbana-Champaign, IL, USA) | + | * José Meseguer (University of Illinois at Urbana-Champaign, IL, USA) |
− | Carolyn Talcott (SRI International, CA, USA) | + | * Carolyn Talcott (SRI International, CA, USA) |
Latest revision as of 11:38, 24 October 2019
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.
The system was originally developed at SRI International, CA, USA. The current components of the Maude team are:
- Francisco Durán (University of Málaga, Spain)
- Steven Eker (SRI International, CA, USA)
- Santiago Escobar (Universitat Politècnica de València, Spain)
- Patrick Lincoln (SRI International, CA, USA)
- Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain)
- José Meseguer (University of Illinois at Urbana-Champaign, IL, USA)
- Carolyn Talcott (SRI International, CA, USA)