CTO CLiki for the TUNES project

Home About CLiki Text Formatting

Reflection in Maude

About reflection in Maude: Talk about the universal rewrite theory, how this is used to model and operate any inference system, the quotation system, the meta-level modules defined, and how to modify and extend them.