PROSPECTRA
Program-Transformation.Org: The Program Transformation Wiki
PROSPECTRA is the acronym for PROgram development by SPECification and TRAnsformation
In the methodology of PROgram development by SPECification and TRAnsformation, algebraic specifications are the basis for constructing correct and efficient programs by gradual transformation. The combination of algebraic specification and functionals increases abstraction, reduces development effort, and allows reasoning about correctness and direct optimisations. The uniformity of the approach to program and meta-program development is stressed.
-- KarlTrygveKalleberg - 06 Jul 2005