back icon
close icon

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Maude software language

Example of Maude specification

Maude, SRI’s high-performance declarative software language and system, is among the fastest equational rewriting systems in its class. Maude supports both equational and rewriting logic specification and programming for a wide range of applications. Important applications include metalanguage, in which the system is used to create executable environments for different logics, theorem provers, languages, and models of computation.

Maude is available to software developers at no charge.

close check icon

Message Sent

Success! - Thank you for your interest.

share dwonload plus email external external project copy play call directions linkedin