HATS

A framework for doing higher-order strategic programming. Supports rules and strategies. Works on terms, where the terms correspond to conrete syntax parse trees. Has an interactive environment, written in Java and an execution engine written in SML.

May be used for ProgramSynthesis and ProgramTransformation.