May 11, 2006
Name of things
In spite of uniqueness of MPS, it turned out, that there is taxonomy the MPS nicely falls within.
Thanks to the The Program Transformation Wiki now I know exactly what we are and where we are.
MPS is a ProgramRefinement tool, that is specific case of ProgramSynthesis tool, that is kind of ProgramTranslation tool, that is sort of ProgramTransformation tool.
Surprisingly, MPS is not a CodeGeneration tool as we used to believe.
In this connection I recall quite long discussion "What about tree rewriting?" in MPS's forum.
Now this discussion could be pretty short:
Karsten Wagner: What about tree rewriting?
Me: sorry, we are working on the transformation.translation.synthesis.refinement tool.
What you need is probably a transformation.rephrasing.normalization.desugaring tool or like.
Posted by Igor Alshannikov at May 11, 2006 02:34 AM