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
.