Transform a source into a target synthesizing logic, grammar patterns and grammar templates (IN PROGRESS)
This is supposed to be a project combining (generic) grammar-patterns and (generic) grammar-templates in order to produce a generic, powerful and extendable text (or other arbitrary data eg raw binary) transformation tool / rewrite system.
- Lambda calculus
- Rho calculus
- Abstract Rewrite System
- Symbolic Computation