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...") |
(No difference)
|
Revision as of 11:37, 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)
