[rollover text here]
[sri home][about SRI][working with SRI][r&d][careers][news]


 
[...]
Information &
Computing Sciences

 
Computer Science Laboratory


[] Contact
 
[] People
 
[] Research
 
[] Publications
 
[] Jobs
 

 

[imagemap - load image please]









Projects: Rewriting Logics and Systems
 
Maude

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.

Principal Investigator: (none)

Staff Members:

Visitors:

Recent Publications:

For more information, visit the Maude home page



[top]

Home | About Us | Working with SRI | R&DCareers | News

[copyright]
SRI from A to ZSearchContact UsSRI JapanJobs @ SRISRI NewsBack to Top