The OGI Mustang Project Program generation is a powerful tool for enhancing the software developement process. Higher-order, typed programming languages, such as SML and Haskell, offer the user advanced abstraction mechanisms in the context of a typed system.
Programmers can use type systems to guarantee many important properties of their programs.
The Mustang Project uses higher-order, typed programming langauges that provide special support the construction, manipulation, and execution of code. We call such languages meta-languages . We are actively investigating both theoretical and applied aspects of such languages. For a brief overview of the issues involved see our Taxonomy of Meta-Programming Systems manifesto. The Mustang project is part of the PacSoft center at OGI .