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

Revision: r1.2 - 06 Jul 2005 - 18:51 - KarlTrygveKalleberg
Transform > PROSPECTRA
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