This section is under construction.
Source to source translation
The C language has been often used as a portable assembly language
for high level languages. Examples of these range from object-oriented
languages such as C++ (e.g. c-front[]); various dialects of
functional languages(e.g. sml2c[]),
scheme-c[]); and various dialects of logic programming
languages(e.g. Mercury[].)
Pattern matching, rewriting and inference
Program transformation tools