Maude

From FSL
Jump to: navigation, search

A performant executable rewrite logic engine used frquently in the FSL group. See Maude's external webpage at:

Personal tools
Namespaces

Variants
Actions
Navigation