System Support for the Interactive Transformation ofFunctional

  • ProgramsHelmuth Partsch Wolfram Schulte Ton VullinghsUniversit
  • Published 2002
This paper describes the program transformation system Ultra. The intended use of Ultra is to assist programmers in the formal derivation of correct and ef-cient programs from high-level descriptive or operational speciications. The most salient features of Ul-tra are its sound theoretical foundation, its lean, and portable implementation, its extendability… CONTINUE READING