This is your work, valued

Maude

Advanced
@maude-lang

Language based on Rewriting Logic

maude.cs.illinois.edu