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