Syntax
Statics
Dynamics
Analysis
Synthesis
Term Rewriting Rewriting Strategies Declare Your Language: Transformation by Strategic Term Rewriting from Eelco Visser
PDF