Difference between revisions of "The Maude System:About"

From The Maude System
Jump to: navigation, search
(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)