Homepage: http://faculty.ist.unomaha.edu/winter/hats-uno/HATSWEB/index.html

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.

Revision: r1.2 - 06 Jul 2005 - 18:21 - KarlTrygveKalleberg
Transform > HATS
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback