Maude system

Tags: metaprogramming, reflective

Related tools: